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: gs...@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