[Bug analyzer/118498] not diagnostic a leak with analyzer and malloc attribute with free filled in

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118498

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Alejandro Colomar from comment #4)
> 
> What about the leak?  Is it not reported because main() is special?  Or is
> it a bug?

Most likely a bug, I have not looked into how the leak detection stuff in
analyzer to say if it understands the malloc attribute or not yet.