https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105971
Bug ID: 105971 Summary: [12/13 Regression] ICE in bitmap_check_index, at sbitmap.h:104 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: gs...@t-online.de Target Milestone: --- Started between 20211121 and 20211128, at -O1+ : (gcc configured with --enable-checking=yes) $ cat z1.c void a() { int b; int c; int d = a; _Complex float *e = a; for (;;) { (*e += d) / b ?: 0; } } $ gcc-13-20220612 -c z1.c -O2 z1.c: In function 'a': z1.c:5:11: warning: initialization of 'int' from 'void (*)()' makes integer from pointer without a cast [-Wint-conversion] 5 | int d = a; | ^ z1.c:6:23: warning: initialization of '_Complex float *' from incompatible pointer type 'void (*)()' [-Wincompatible-pointer-types] 6 | _Complex float *e = a; | ^ during GIMPLE pass: dse z1.c:10:1: internal compiler error: in bitmap_check_index, at sbitmap.h:104 10 | } | ^ 0x1e915d1 bitmap_check_index ../../gcc/sbitmap.h:104 0x1e915d1 bitmap_bit_in_range_p(simple_bitmap_def const*, unsigned int, unsigned int) ../../gcc/sbitmap.cc:336 0xf7f37c live_bytes_read ../../gcc/tree-ssa-dse.cc:786 0xf7f37c dse_classify_store(ao_ref*, gimple*, bool, simple_bitmap_def*, bool*, tree_node*) ../../gcc/tree-ssa-dse.cc:1007 0xf827f8 dse_optimize_stmt ../../gcc/tree-ssa-dse.cc:1421 0xf827f8 execute ../../gcc/tree-ssa-dse.cc:1527