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
$
