[Bug ipa/79776] [7 Regression] 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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2017-03-07
             Blocks|65530                       |
            Summary|[7 Regression][CHKP] ICE on |[7 Regression] ICE on valid
                   |valid code in               |code in insert_vi_for_tree,
                   |insert_vi_for_tree, at      |at
                   |tree-ssa-structalias.c:2807 |tree-ssa-structalias.c:2807
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
It's not related to CHKP, happens even with normal thunks:

$ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ipa/pr71146.C -fipa-pta
-O3 -c

g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ipa/pr71146.C -fipa-pta
-O3 -c
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ipa/pr71146.C:20:11: internal
compiler error: in insert_vi_for_tree, at tree-ssa-structalias.c:2807
   foo->fn (0, 0, 0);
   ~~~~~~~~^~~~~~~~~
0xfd68bc insert_vi_for_tree
        .././../gcc/tree-ssa-structalias.c:2807
0xfd74ac associate_varinfo_to_alias
        .././../gcc/tree-ssa-structalias.c:7620
0x9e2dc6 cgraph_node::call_for_symbol_thunks_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool, bool)
        .././../gcc/cgraph.c:2354
0x9e2e37 cgraph_node::call_for_symbol_thunks_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool, bool)
        .././../gcc/cgraph.c:2375
0x9e2ed8 cgraph_node::call_for_symbol_thunks_and_aliases(bool (*)(cgraph_node*,
void*), void*, bool, bool)
        .././../gcc/cgraph.c:2362
0xfe3420 ipa_pta_execute
        .././../gcc/tree-ssa-structalias.c:7822


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65530
[Bug 65530] [meta-bug] -mmpx -fcheck-pointer-bounds failures