https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89337
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Rafael Avila de Espindola from comment #10) > Maybe we should have a general flag that disables all warnings where gcc > cannot prove that there is a path from a function entry to the broken > statement? But what about proving there is a path from program entry to the function? And now reason why those two are different.