https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111328
Bug ID: 111328 Summary: ICE: verify_flow_info failed since r14-3459-g0c78240fd7d Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: shaohua.li at inf dot ethz.ch CC: jh at suse dot cz Target Milestone: --- gcc at -O3 crashes on the following testcase. Bisected to r14-3459-g0c78240fd7d Compiler explorer: https://godbolt.org/z/G3rPdq6db $ cat a.c int a, b, c, d; short e; int f(g, h) { return h == 0 || g == 83647 && h == 1 ?: g / h; } char *i(char *g) { if (a) do if (*g++ == 0) return 0; while (a); return g; } int j() { char k = 0, l = *i(&k) = l; for (; b; b++) { c = 1; for (; d + c >= 0; c--) ; } for (;;) if (f(e)) break; } int main() {} $ gcc -O2 a.c <source>: In function 'f': <source>:3:5: warning: type of 'g' defaults to 'int' [-Wimplicit-int] 3 | int f(g, h) { return h == 0 || g == 83647 && h == 1 ?: g / h; } | ^ <source>:3:5: warning: type of 'h' defaults to 'int' [-Wimplicit-int] <source>: In function 'j': <source>:12:5: error: count of bb 32 not initialized 12 | int j() { | ^ <source>:12:5: error: count of bb 33 not initialized <source>:12:5: error: count of bb 34 not initialized <source>:12:5: error: count of bb 35 not initialized <source>:12:5: error: count of bb 37 not initialized during GIMPLE pass: vect <source>:12:5: internal compiler error: verify_flow_info failed 0x21d80ae internal_error(char const*, ...) ???:0 0xb8c64f verify_flow_info() ???:0 0x112933f cleanup_tree_cfg(unsigned int) ???:0 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions. Compiler returned: 1 $