[Bug rtl-optimization/94440] [8/9/10/11 Regression] ICE in check_bool_attrs, at recog.c:2168 since r7-5324-gb8cab8a5492e9639

[hjl.tools at gmail dot com]

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

--- Comment #13 from H.J. Lu <hjl.tools at gmail dot com> ---
(In reply to Jakub Jelinek from comment #10)
> I can't reproduce it anymore.

For r11-5820,

[hjl@gnu-clx-1 gcc]$ cat 1.c
int b;
double c, d;
void fn1() {
  int i;
  for (i = 0; i < b; i++)
    c += i;
}
int __attribute__((optimize(1))) main() {
  double a[0];
  int i;
  for (i = 0; i < 9; i++)
    d += a[i];
}
[hjl@gnu-clx-1 gcc]$ ./xgcc -B./ -mfpmath=sse,387 -fexcess-precision=standard
-Ofast -fno-graphite --param=scev-max-expr-size=0 -m32  1.c
during RTL pass: reload
1.c: In function ??main??:
1.c:13:1: internal compiler error: in check_bool_attrs, at recog.c:2189
   13 | }
      | ^
0x6d21c1 check_bool_attrs(rtx_insn*)
        ../../src-master/gcc/recog.c:2189
0xc568e0 lra_update_insn_recog_data(rtx_insn*)
        ../../src-master/gcc/lra.c:1260
0xc7197b process_insn_for_elimination
        ../../src-master/gcc/lra-eliminations.c:1304
0xc7197b lra_eliminate(bool, bool)
        ../../src-master/gcc/lra-eliminations.c:1372
0xc578d9 lra(_IO_FILE*)
        ../../src-master/gcc/lra.c:2461
0xc13129 do_reload
        ../../src-master/gcc/ira.c:5802
0xc13129 execute
        ../../src-master/gcc/ira.c:5988
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.
[hjl@gnu-clx-1 gcc]$