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.