+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050612 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in compensate_edge, at reg-stack.c:2671 |
| Error detected at cxg2002.adb:468:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050612 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in compensate_edge, at reg-stack.c:2671 |
| Error detected at cxg2008.adb:862:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050612 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in compensate_edge, at reg-stack.c:2671 |
| Error detected at cxg2019.adb:338:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050612 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in compensate_edge, at reg-stack.c:2671 |
| Error detected at cxg2020.adb:351:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050612 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in compensate_edge, at reg-stack.c:2671 |
| Error detected at cxg2021.adb:386:5 |
Backtrace for cxg2020
<guerby> #0 internal_error (gmsgid=0xa9b983 "in %s, at %s:%d") at
/home/guerby/work/gcc/version-head/gcc/diagnostic.c:528
<guerby> #1 0x000000000071ca3c in fancy_abort (file=Variable "file" is not
available.
<guerby> ) at /home/guerby/work/gcc/version-head/gcc/diagnostic.c:588
<guerby> #2 0x00000000008d3ca3 in reg_to_stack (file=0x0) at
/home/guerby/work/gcc/version-head/gcc/reg-stack.c:2671
<guerby> #3 0x000000000093aa04 in rest_of_compilation () at
/home/guerby/work/gcc/version-head/gcc/passes.c:381
<guerby> #4 0x000000000063e9cf in execute_pass_list (pass=0xca4f80) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:630
<guerby> #5 0x000000000063edc5 in tree_rest_of_compilation
(fndecl=0x2a95976340) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:800
<guerby> #6 0x0000000000984296 in cgraph_expand_function (node=0x2a966954e0) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:968
<guerby> #7 0x0000000000986047 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1034
<guerby> #8 0x000000000041b08a in gnat_parse_file (set_yydebug=Variable
"set_yydebug" is not available.
<guerby> (gdb) f 2
<guerby> #2 0x00000000008d3ca3 in reg_to_stack (file=0x0) at
/home/guerby/work/gcc/version-head/gcc/reg-stack.c:2671
<guerby> 2671 gcc_assert (source_stack->top == 0);
<guerby> (gdb) l
<guerby> 2666 if (e->flags & EDGE_ABNORMAL_CALL)
<guerby> 2667 {
<guerby> 2668 /* Assert that the lifetimes are as we expect -- one
value
<guerby> 2669 live at st(0) on the end of the source block, and no
<guerby> 2670 values live at the beginning of the destination
block. */
<guerby> 2671 gcc_assert (source_stack->top == 0);
<guerby> 2672 gcc_assert (target_stack->top == -1);
<guerby> 2673 return false;
<guerby> 2674 }
<guerby> 2675
--
Summary: ACATS ICE cxg2002 cxg2008 cxg2019 cxg2020 cxg2021
compensate_edge, at reg-stack.c:2671
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: laurent at guerby dot net
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22053
