/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
