https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108684
Bug ID: 108684
Summary: [13 Regression] ICE: verify_ssa failed
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: gs...@t-online.de
Target Milestone: ---
Started between 20221030 and 20221106 :
(gcc configured with --enable-checking=yes)
$ cat z1.cc
int f (int a)
{
asm (" " : "=r" (a) : : "eax", "memory");
if (a)
return 0;
}
$ gcc-13-20230205 -c z1.cc -O2
z1.cc: In function 'int f(int)':
z1.cc:6:1: warning: control reaches end of non-void function [-Wreturn-type]
6 | }
| ^
z1.cc:1:5: error: virtual use of statement not up to date
1 | int f (int a)
| ^
# VUSE <_2>
return 0;
during GIMPLE pass: vrp
z1.cc:1:5: internal compiler error: verify_ssa failed
0x14e901b verify_ssa(bool, bool)
../../gcc/tree-ssa.cc:1211
0x1134857 execute_function_todo
../../gcc/passes.cc:2098
0x11351a2 execute_todo
../../gcc/passes.cc:2145
