https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122197
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #6) > I think the warning should be worded "may be called on unallocated object" > since we do not know that code path is taken. Yes, we absolutely need to stop stating that these unreliable middle-end warnings are definitely happening.
