[Bug c/105166] New: [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863

[gscfq@t-online.de]

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

            Bug ID: 105166
           Summary: [12 Regression] ICE in ao_ref_init_from_ptr_and_range,
                    at tree-ssa-alias.cc:863
           Product: gcc
           Version: 12.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 20211107 and 20211114, at -O1+ :


$ cat z1.c
bar (foo, a)
  int (**foo) ();
{
  (foo)[1] = bar;
  foo[1] (1);
}


$ gcc-12-20220403 -c z1.c -O2
z1.c:1:1: warning: return type defaults to 'int' [-Wimplicit-int]
    1 | bar (foo, a)
      | ^~~
z1.c: In function 'bar':
z1.c:1:1: warning: type of 'a' defaults to 'int' [-Wimplicit-int]
during GIMPLE pass: dse
z1.c:1:1: internal compiler error: in ao_ref_init_from_ptr_and_range, at
tree-ssa-alias.cc:863
0xcfd747 ao_ref_init_from_ptr_and_range(ao_ref*, tree_node*, bool, poly_int<1u,
long>, poly_int<1u, long>, poly_int<1u, long>)
        ../../gcc/tree-ssa-alias.cc:863
0xa1080b modref_access_node::get_ao_ref(gcall const*, ao_ref*) const
        ../../gcc/ipa-modref-tree.cc:688
0xd03eb3 stmt_kills_ref_p(gimple*, ao_ref*)
        ../../gcc/tree-ssa-alias.cc:3461
0xd28b56 dse_classify_store(ao_ref*, gimple*, bool, simple_bitmap_def*, bool*,
tree_node*)
        ../../gcc/tree-ssa-dse.cc:1053
0xd2aecf dse_optimize_stmt
        ../../gcc/tree-ssa-dse.cc:1385
0xd2aecf execute
        ../../gcc/tree-ssa-dse.cc:1491