https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122384
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=112543
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I think the warning is correct.
Basically you are using the pointer (even though it is deferenced) after the
free. Yes that seems pedantic but that is still how the C standard describes
how pointers work.
Basically this is a dup of bug 112543.
