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

[marxin at gcc dot gnu.org]

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

            Bug ID: 94440
           Summary: [8/9/10 Regression] ICE in check_bool_attrs, at
                    recog.c:2168 since r7-5324-gb8cab8a5492e9639
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux-gnu
            Target: x86_64-linux-gnu

Since the revision I see:

$ cat vect.i
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];
}

$ gcc -mfpmath=sse,387 -fexcess-precision=standard -Ofast -fno-graphite
--param=scev-max-expr-size=0 -m32 vect.i -Werror
during RTL pass: reload
vect.i: In function ‘main’:
vect.i:13:1: internal compiler error: in check_bool_attrs, at recog.c:2168
   13 | }
      | ^
0x6d9c02 check_bool_attrs(rtx_insn*)
        /home/marxin/Programming/gcc/gcc/recog.c:2168
0xc86751 lra_update_insn_recog_data(rtx_insn*)
        /home/marxin/Programming/gcc/gcc/lra.c:1257
0xca21e1 process_insn_for_elimination
        /home/marxin/Programming/gcc/gcc/lra-eliminations.c:1304
0xca21e1 lra_eliminate(bool, bool)
        /home/marxin/Programming/gcc/gcc/lra-eliminations.c:1372
0xc88aa5 lra(_IO_FILE*)
        /home/marxin/Programming/gcc/gcc/lra.c:2572
0xc403f1 do_reload
        /home/marxin/Programming/gcc/gcc/ira.c:5523
0xc403f1 execute
        /home/marxin/Programming/gcc/gcc/ira.c:5709
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.