[Bug tree-optimization/47411] New: [4.5 Regression] Bootstrap failure on x86-64/Darwin

["ebotcazou at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

           Summary: [4.5 Regression] Bootstrap failure on x86-64/Darwin
           Product: gcc
           Version: 4.5.3
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ebotcazou@gcc.gnu.org


The backport

2011-01-17  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/44592
        * tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Copy
        from trunk.

has introduced a bootstrap failure for x86-64/Darwin on the 4.5 branch:

/lena.a/gnatmail/gcc-45/build-lena/obj/./prev-gcc/xgcc
-B/lena.a/gnatmail/gcc-45/build-lena/obj/./prev-gcc/
-B/usr/local/gnat/x86_64-apple-darwin10.2.0/bin/
-B/usr/local/gnat/x86_64-apple-darwin10.2.0/bin/
-B/usr/local/gnat/x86_64-apple-darwin10.2.0/lib/ -isystem
/usr/local/gnat/x86_64-apple-darwin10.2.0/include -isystem
/usr/local/gnat/x86_64-apple-darwin10.2.0/sys-include    -c  -O2 -gtoggle
-DIN_GCC   -W -Wall -Wwrite-strings -Wcast-qual -Wstrict-prototypes
-Wmissing-prototypes -Wmissing-format-attribute -pedantic -Wno-long-long
-Wno-variadic-macros -Wno-overlength-strings -Wold-style-definition
-Wc++-compat   -DHAVE_CONFIG_H -DGENERATOR_FILE -I. -Ibuild -I../../src/gcc
-I../../src/gcc/build -I../../src/gcc/../include
-I../../src/gcc/../libcpp/include
-I/lena.a/gnatmail/gcc-45/build-lena/libmpfr/install/include
-I/lena.a/gnatmail/gcc-45/build-lena/libmpfr/install/include
-I/lena.a/gnatmail/gcc-45/build-lena/libmpfr/install/include 
-I../../src/gcc/../libdecnumber -I../../s
 rc/gcc/../libdecnumber/dpd -I../libdecnumber     \
                -o build/gengenrtl.o ../../src/gcc/gengenrtl.c
../../src/gcc/genmodes.c: In function 'new_mode':
../../src/gcc/genmodes.c:153:1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.

Reduced testcase to be attached for x86/Linux.  The problem is that a new SSA
name is created in gimplify_and_update_call_from_tree:

Program received signal SIGSEGV, Segmentation fault.
0x085a0139 in vrp_finalize ()
    at /home/eric/gnat/gnat6_45/src/gcc/tree-vrp.c:7338
7338            BITMAP_FREE (vr_value[i]->equiv);
(gdb) p cfun->gimple_df->ssa_names.base
$12 = {num = 22, alloc = 50, vec = {0x0}}

Breakpoint 1, vrp_initialize ()
    at /home/eric/gnat/gnat6_45/src/gcc/tree-vrp.c:5354
5354      vr_value = XCNEWVEC (value_range_t *, num_ssa_names);
(gdb) p cfun->gimple_df->ssa_names.base
$13 = {num = 21, alloc = 50, vec = {0x0}}

Hardware watchpoint 2: { unsigned int } 0xf7ca5a00

Old value = 21
New value = 22
0x0855e711 in VEC_tree_base_quick_push (
    function_=0x8b7a17e "make_ssa_name_fn", line_=146, obj_=0xf7d26d20,
    vec_=0xf7ca5a00,
    file_=0x8b7a0e8 "/home/eric/gnat/gnat6_45/src/gcc/tree-ssanames.c")
    at /home/eric/gnat/gnat6_45/src/gcc/tree.h:182
182     DEF_VEC_P(tree);
(gdb) bt
#0  0x0855e711 in VEC_tree_base_quick_push (
    function_=0x8b7a17e "make_ssa_name_fn", line_=146, obj_=0xf7d26d20,
    vec_=0xf7ca5a00,
    file_=0x8b7a0e8 "/home/eric/gnat/gnat6_45/src/gcc/tree-ssanames.c")
    at /home/eric/gnat/gnat6_45/src/gcc/tree.h:182
#1  VEC_tree_gc_safe_push (function_=0x8b7a17e "make_ssa_name_fn", line_=146,
    file_=0x8b7a0e8 "/home/eric/gnat/gnat6_45/src/gcc/tree-ssanames.c",
    obj_=0xf7d26d20, vec_=0xf7cae918)
    at /home/eric/gnat/gnat6_45/src/gcc/tree.h:183
#2  make_ssa_name_fn (fn=0xf7cb2210, var=0xf7d29564, stmt=0xf7d26cc0)
    at /home/eric/gnat/gnat6_45/src/gcc/tree-ssanames.c:146
#3  0x084dbcf0 in make_ssa_name (stmt=0xf7d26cc0, var=<value optimized out>)
    at /home/eric/gnat/gnat6_45/src/gcc/tree-flow-inline.h:1247
#4  gimplify_and_update_call_from_tree (si_p=0xffffcd68,
    expr=<value optimized out>)
    at /home/eric/gnat/gnat6_45/src/gcc/tree-ssa-ccp.c:3434