https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80519
Eric Gallager <egall at gwmail dot gwu.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |egall at gwmail dot gwu.edu --- Comment #2 from Eric Gallager <egall at gwmail dot gwu.edu> --- It'd be nice if the compiler could emit a warning when removing such a check, that way gnulib wouldn't need to keep around the "useless-if-before-free" script any more if the compiler could just do it instead