[Bug ipa/79776] New: [7 Regression][CHKP] ICE on valid code in insert_vi_for_tree, at tree-ssa-structalias.c:2807

[marxin at gcc dot gnu.org]

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

            Bug ID: 79776
           Summary: [7 Regression][CHKP] ICE on valid code in
                    insert_vi_for_tree, at tree-ssa-structalias.c:2807
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: hubicka at ucw dot cz, ienkovich at gcc dot gnu.org
  Target Milestone: ---

Starting from r236012 with ICE on:

$ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/opt/thunk1.C -O3
-fcheck-pointer-bounds -mmpx  -fipa-pta
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/opt/thunk1.C:42:1: internal
compiler error: in insert_vi_for_tree, at tree-ssa-structalias.c:2807
 }
 ^
0x13f65fd insert_vi_for_tree
        ../../gcc/tree-ssa-structalias.c:2807
0x140371b associate_varinfo_to_alias
        ../../gcc/tree-ssa-structalias.c:7620
0xc3042d cgraph_node::call_for_symbol_thunks_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool, bool)
        ../../gcc/cgraph.c:2354
0xc30589 cgraph_node::call_for_symbol_thunks_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool, bool)
        ../../gcc/cgraph.c:2375
0xc304bf cgraph_node::call_for_symbol_thunks_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool, bool)
        ../../gcc/cgraph.c:2362
0xc30589 cgraph_node::call_for_symbol_thunks_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool, bool)
        ../../gcc/cgraph.c:2375
0x1404152 ipa_pta_execute
        ../../gcc/tree-ssa-structalias.c:7822
0x1405100 execute
        ../../gcc/tree-ssa-structalias.c:8142