[Bug c/106306] New: ICE on valid code at -O1 with -funreachable-traps -floop-unroll-and-jam --param unroll-jam-min-percent=0: in execute_todo, at passes.cc:2140

[zhendong.su at inf dot ethz.ch via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106306

            Bug ID: 106306
           Summary: ICE on valid code at -O1 with -funreachable-traps
                    -floop-unroll-and-jam --param
                    unroll-jam-min-percent=0: in execute_todo, at
                    passes.cc:2140
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zhendong.su at inf dot ethz.ch
  Target Milestone: ---

Compiler Explorer: https://godbolt.org/z/doY9jPM54


[547] % 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 20220714 (experimental) [master r13-1696-g29f40a8047f] (GCC) 
[548] % 
[548] % gcctk -O1 -funreachable-traps -floop-unroll-and-jam --param
unroll-jam-min-percent=0 small.c
during GIMPLE pass: ivcanon
small.c: In function ‘main’:
small.c:2:5: internal compiler error: in execute_todo, at passes.cc:2140
    2 | int main() {
      |     ^~~~
0x719332 execute_todo
        ../../gcc-trunk/gcc/passes.cc:2140
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.
[549] % 
[549] % cat small.c
int a[2], b, c;
int main() {
  for (c = 0; c < 3; c++)
    for (b = 0; b < 2; b++)
      a[b] = 1;
  return 0;
}