https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100817
Bug ID: 100817 Summary: ICE with -O2: in compute_antic, at tree-ssa-pre.c:2513 Product: gcc Version: tree-ssa Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: cnsun at uwaterloo dot ca Target Milestone: --- $ gcc-trunk -v Using built-in specs. COLLECT_GCC=gcc-trunk COLLECT_LTO_WRAPPER=/scratch/software/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /tmp/tmp.EknlexSzGF-gcc-builder/gcc/configure --enable-languages=c,c++,lto --enable-checking-yes --enable-multiarch --prefix=/scratch/software/gcc-trunk --disable-bootstrap Thread model: posix Supported LTO compression algorithms: zlib gcc version 12.0.0 20210528 (experimental) [master revision :0e2d976f7:cd62d089f6021fd1ad4537b8182836d15b14514f] (GCC) $ cat mutant.c a; __attribute__((cold)) b () { for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a >= 0;) for (; a;) for (; a; a += 2) ; } $ gcc-trunk -O2 mutant.c mutant.c:1:1: warning: data definition has no type or storage class 1 | a; | ^ mutant.c:1:1: warning: type defaults to ‘int’ in declaration of ‘a’ [-Wimplicit-int] mutant.c:2:23: warning: return type defaults to ‘int’ [-Wimplicit-int] 2 | __attribute__((cold)) b () | ^ during GIMPLE pass: pre mutant.c: In function ‘b’: mutant.c:2:23: internal compiler error: in compute_antic, at tree-ssa-pre.c:2513 0x7920a1 compute_antic /tmp/tmp.EknlexSzGF-gcc-builder/gcc/gcc/tree-ssa-pre.c:2513 0x7920a1 execute /tmp/tmp.EknlexSzGF-gcc-builder/gcc/gcc/tree-ssa-pre.c:4384 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.