https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87371
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |manu at gcc dot gnu.org Resolution|--- |DUPLICATE --- Comment #1 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- The warning happens in the front-end, so there is no concept of always-executed. You don't need a loop. This also warns. int foo() { int y=0; if (!y) return 1; } *** This bug has been marked as a duplicate of bug 67629 ***