https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50847
--- Comment #6 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- Other testcases: int baz() { while(1) { break; return 5; // dead } do { continue; return 6; // dead } while(0); return 1; } int bax() { while(1) { goto end; return 5; // dead } end: return 1; }