[Bug c/105971] New: [12/13 Regression] ICE in bitmap_check_index, at sbitmap.h:104

[gscfq@t-online.de]

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: gscfq@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