[Bug ada/37328] New: ACATS la14021 ICE in gimple_assign_set_rhs1, at gimple.h:1747

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

/home/guerby/build2/gcc/xgcc -c -B/home/guerby/build2/gcc/ -gnatws -O2
-I/home/guerby/build2/gcc/testsuite/ada/acats/support la140211.adb
+===========================GNAT BUG DETECTED==============================+
| 4.4.0 20080902 (experimental) [trunk revision 139884]
(x86_64-unknown-linux-gnu) GCC error:|
| in gimple_assign_set_rhs1, at gimple.h:1747                              |
| Error detected around la140211.adb:28                                    |


 /home/guerby/build2/gcc/gnat1
-I/home/guerby/build2/gcc/testsuite/ada/acats/support -quiet -dumpbase
la140211.adb -O2 -gnatws -mtune=generic la140211.adb -o /tmp/ccnYmXxH.s

This test was passing as of "Results for 4.4.0 20080828 (experimental) [trunk
revision 139702]"

Breakpoint 1, internal_error (gmsgid=0xe2d4bd "in %s, at %s:%d") at
../../trunk2/gcc/diagnostic.c:639
639     {
(gdb) bt
#0  internal_error (gmsgid=0xe2d4bd "in %s, at %s:%d") at
../../trunk2/gcc/diagnostic.c:639
#1  0x0000000000732fec in fancy_abort (file=<value optimized out>, line=1747,
function=0xe42a90 "gimple_assign_set_rhs1") at
../../trunk2/gcc/diagnostic.c:699
#2  0x00000000007f9b3b in gimple_build_assign_with_ops_stat (subcode=<value
optimized out>, lhs=0x2aaaab353640, op1=0x2aaaab34d4c0, op2=0x2aaaaaf42690) at
../../trunk2/gcc/gimple.h:1747
#3  0x00000000007fc4e5 in gimple_build_assign_stat (lhs=0x2aaaab353640,
rhs=<value optimized out>) at ../../trunk2/gcc/gimple.c:412
#4  0x0000000000985930 in sra_build_assignment (dst=0x2aaaab353640,
src=0x2aaaab34d480) at ../../trunk2/gcc/tree-sra.c:2311
#5  0x0000000000988815 in sra_build_elt_assignment (elt=<value optimized out>,
src=0x2aaaab34d480) at ../../trunk2/gcc/tree-sra.c:2507
#6  0x0000000000988e81 in generate_element_init_1 (elt=0x174a2c0,
init=0x2aaaab34d480, seq_p=0x7fffffffe560) at ../../trunk2/gcc/tree-sra.c:2727
#7  0x0000000000989167 in generate_element_init_1 (elt=0x174a278,
init=0x2aaaab3543f0, seq_p=0x7fffffffe560) at ../../trunk2/gcc/tree-sra.c:2807
#8  0x0000000000989167 in generate_element_init_1 (elt=0x174a230,
init=0x2aaaab354390, seq_p=0x7fffffffe560) at ../../trunk2/gcc/tree-sra.c:2807
#9  0x000000000098a40c in scalarize_init (lhs_elt=0x174a230,
rhs=0x2aaaab354390, gsi=0x7fffffffe5b0) at ../../trunk2/gcc/tree-sra.c:2830
#10 0x000000000098508c in sra_walk_function (fns=0xe8bce0) at
../../trunk2/gcc/tree-sra.c:1013
#11 0x000000000098a088 in tree_sra () at ../../trunk2/gcc/tree-sra.c:3596
#12 0x000000000098a3a0 in tree_sra_early () at ../../trunk2/gcc/tree-sra.c:3696
#13 0x0000000000869983 in execute_one_pass (pass=0x120e240) at
../../trunk2/gcc/passes.c:1277
#14 0x0000000000869bc5 in execute_pass_list (pass=0x120e240) at
../../trunk2/gcc/passes.c:1325
#15 0x0000000000869bdd in execute_pass_list (pass=0x120dee0) at
../../trunk2/gcc/passes.c:1326
#16 0x0000000000869ee5 in execute_ipa_pass_list (pass=0x120de80) at
../../trunk2/gcc/passes.c:890
#17 0x0000000000ad3f57 in cgraph_optimize () at
../../trunk2/gcc/cgraphunit.c:1234
#18 0x00000000004227e9 in gnat_write_global_declarations () at
../../trunk2/gcc/ada/gcc-interface/utils.c:4747
#19 0x000000000090f8bf in toplev_main (argc=<value optimized out>, argv=<value
optimized out>) at ../../trunk2/gcc/toplev.c:979
#20 0x00002aaaaad1d4ca in __libc_start_main () from /lib/libc.so.6
#21 0x000000000040479a in _start () at ../sysdeps/x86_64/elf/start.S:113

#2  0x00000000007f9b3b in gimple_build_assign_with_ops_stat (subcode=<value
optimized out>, lhs=0x2aaaab353640, op1=0x2aaaab34d4c0, op2=0x2aaaaaf42690) at
../../trunk2/gcc/gimple.h:1747
1747        gcc_assert (is_gimple_val (rhs));
(gdb) l
1742      GIMPLE_CHECK (gs, GIMPLE_ASSIGN);
1743    
1744      /* If there are 3 or more operands, the 2 operands on the RHS must be
1745         GIMPLE values.  */
1746      if (gimple_num_ops (gs) >= 3)
1747        gcc_assert (is_gimple_val (rhs));
1748      else
1749        gcc_assert (is_gimple_operand (rhs));
1750    
1751      gimple_set_op (gs, 1, rhs);


-- 
           Summary: ACATS la14021 ICE in gimple_assign_set_rhs1, at
                    gimple.h:1747
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
 GCC build triplet: x86_64-linux
  GCC host triplet: x86_64-linux
GCC target triplet: x86_64-linux


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