https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106198
Zhendong Su <zhendong.su at inf dot ethz.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |zhendong.su at inf dot ethz.ch
--- Comment #2 from Zhendong Su <zhendong.su at inf dot ethz.ch> ---
Here is one:
[564] % gcctk -v
Using built-in specs.
COLLECT_GCC=gcctk
COLLECT_LTO_WRAPPER=/local/suz-local/software/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/13.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-trunk/configure --disable-bootstrap
--prefix=/local/suz-local/software/local/gcc-trunk --enable-sanitizers
--enable-languages=c,c++ --disable-werror --enable-multilib --with-system-zlib
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20220705 (experimental) [master r13-1500-g510ac273a78] (GCC)
[565] %
[565] % gcctk -O3 small.c
during GIMPLE pass: unswitch
small.c: In function ‘main’:
small.c:5:5: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:717
5 | int main() {
| ^~~~
0x76e5ab check_loop_closed_ssa_def
../../gcc-trunk/gcc/tree-ssa-loop-manip.cc:717
0x10572b4 check_loop_closed_ssa_bb
../../gcc-trunk/gcc/tree-ssa-loop-manip.cc:731
0x1058556 verify_loop_closed_ssa(bool, loop*)
../../gcc-trunk/gcc/tree-ssa-loop-manip.cc:767
0x1058556 verify_loop_closed_ssa(bool, loop*)
../../gcc-trunk/gcc/tree-ssa-loop-manip.cc:751
0xde6ac4 execute_function_todo
../../gcc-trunk/gcc/passes.cc:2109
0xde6f0b execute_todo
../../gcc-trunk/gcc/passes.cc:2145
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.
[566] %
[566] % cat small.c
int printf(const char *, ...);
long a;
int b;
volatile int c;
int main() {
long e = a;
int f = a;
L:
if (b > 0) {
printf("0");
goto L;
}
if (f) {
printf("%ld", (long)b);
goto L;
}
e >= b && c;
return 0;
}
