[Bug ada/22053] New: ACATS ICE cxg2002 cxg2008 cxg2019 cxg2020 cxg2021 compensate_edge, at reg-stack.c:2671

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

+===========================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