[Bug tree-optimization/51865] New: ICE in insert_vi_for_tree, at tree-ssa-structalias.c:2642

["gcc@Denis-Excoffier.org" <gcc-bugzilla@gcc.gnu.org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51865

             Bug #: 51865
           Summary: ICE in insert_vi_for_tree, at
                    tree-ssa-structalias.c:2642
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gcc@Denis-Excoffier.org


Under MacOSX (x86_64-apple-darwin11.2.0), the new gcc-4.7-20120114 gives ICE
with the following. There was no problem with the preceding snapshots. I've
still not tested under other platforms.

% cat stc.c
// gcc -O -finline-small-functions -finline-functions -fipa-pta
-fpartial-inlining -c stc.c
#include <assert.h>
void zz0(void);
static int xx0;
void zz0(void) { assert(xx0 == 0); return; };
void zz1(void) { zz0(); return; };
void zz2(void) { zz0(); return; };
%
% gcc -v -O -finline-small-functions  -finline-functions -fipa-pta
-fpartial-inlining -c stc.c
Using built-in specs.
COLLECT_GCC=/tmp/lcl/uxl/gcc/bin/gcc
COLLECT_LTO_WRAPPER=/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../libexec/gcc/x86_64-apple-darwin11.2.0/4.7.0/lto-wrapper
Target: x86_64-apple-darwin11.2.0
Configured with: /tmp/lcl/tmp/gcc/gcc-4.7-20120114/configure
--prefix=/tmp/lcl/uxl/gcc-4.7-20120114 --with-local-prefix=/usr/local/here
--enable-languages=c,c++ --disable-multilib
Thread model: posix
gcc version 4.7.0 20120114 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.7.2' '-O'
'-finline-small-functions' '-finline-functions' '-fipa-pta'
'-fpartial-inlining' '-c' '-v' '-mtune=core2'

/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../libexec/gcc/x86_64-apple-darwin11.2.0/4.7.0/cc1
-quiet -v -iprefix
/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/x86_64-apple-darwin11.2.0/4.7.0/
-D__DYNAMIC__ stc.c -fPIC -quiet -dumpbase stc.c -mmacosx-version-min=10.7.2
-mtune=core2 -auxbase stc -O -version -finline-small-functions
-finline-functions -fipa-pta -fpartial-inlining -o /tmp/cct66mxd.s
GNU C (GCC) version 4.7.0 20120114 (experimental) (x86_64-apple-darwin11.2.0)
        compiled by GNU C version 4.7.0 20120114 (experimental), GMP version
5.0.2, MPFR version 3.1.0-p4, MPC version 0.9
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory
"/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/x86_64-apple-darwin11.2.0/4.7.0/../../../../x86_64-apple-darwin11.2.0/include"
ignoring duplicate directory
"/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/../../lib/gcc/x86_64-apple-darwin11.2.0/4.7.0/include"
ignoring nonexistent directory "/usr/local/here/include"
ignoring duplicate directory
"/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/../../lib/gcc/x86_64-apple-darwin11.2.0/4.7.0/include-fixed"
ignoring nonexistent directory
"/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/../../lib/gcc/x86_64-apple-darwin11.2.0/4.7.0/../../../../x86_64-apple-darwin11.2.0/include"
#include "..." search starts here:
#include <...> search starts here:

/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/x86_64-apple-darwin11.2.0/4.7.0/include

/Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/x86_64-apple-darwin11.2.0/4.7.0/include-fixed
 /Users/denis/darlcl/uxl/gcc-4.7-20120114/bin/../lib/gcc/../../include
 /usr/include
 /System/Library/Frameworks
 /Library/Frameworks
End of search list.
GNU C (GCC) version 4.7.0 20120114 (experimental) (x86_64-apple-darwin11.2.0)
        compiled by GNU C version 4.7.0 20120114 (experimental), GMP version
5.0.2, MPFR version 3.1.0-p4, MPC version 0.9
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 0bf7ee2f49f6ea7e3844a6dc703323f3
stc.c:7:1: internal compiler error: in insert_vi_for_tree, at
tree-ssa-structalias.c:2642
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.