https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60725
--- Comment #7 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to Martin Sebor from comment #5) > The program in the Description, however, > has well-defined behavior because f1's return value isn't used. It is also easy to silence the warning by adding an explicit abort() or __builtin_unreachable() before the closing }.
