[Bug debug/28591] New: [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[Bug debug/28591] New: [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[tbm at cyrius dot com]

I get the following gnat regression.  It looks a lot like PR26827 but that one
is  with gcc-4.1 while mine works with 4.1 and fails with 4.2.  Below is a
reduced testcase based on the code from the application "ghdl" that is failing.


(sid)101:tbm@coconut0: ~] /usr/lib/gcc-snapshot/bin/gcc -c -g types.ads
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060721 (experimental) (ia64-unknown-linux-gnu) GCC error:        |
| in splice_child_die, at dwarf2out.c:5513                                 |
| Error detected at interfac.ads:47:49                                     |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.

types.ads

compilation abandoned
zsh: exit 1     /usr/lib/gcc-snapshot/bin/gcc -c -g types.ads
(sid)102:tbm@coconut0: ~] /usr/lib/gcc-snapshot/bin/gcc -c types.ads
(sid)103:tbm@coconut0: ~] gcc-4.1 -c -g types.ads
(sid)104:tbm@coconut0: ~] cat types.ads
with Interfaces; use Interfaces;

package Types is
   type Mode_Type is (Mode_B2);

   type Value_Union (Mode : Mode_Type := Mode_B2) is record
      case Mode is
         when Mode_B2 =>
            B2 : Integer_32;
      end case;
   end record;
   pragma Unchecked_Union (Value_Union);

end Types;


-- 
           Summary: [4.2 regression] ICE in splice_child_die, at
                    dwarf2out.c:5513
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug debug/28591] [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.2.0


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

[Bug ada/28591] [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5


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

[Bug ada/28591] [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[ebotcazou at gcc dot gnu dot org]

------- Comment #1 from ebotcazou at gcc dot gnu dot org  2006-08-06 07:02 -------
Known problem.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-08-06 07:02:35
               date|                            |


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

[Bug ada/28591] [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-08-24 11:16 -------
I wonder if this is related to PR 28834 at all.


-- 


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

[Bug ada/28591] [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[ebotcazou at gcc dot gnu dot org]

------- Comment #3 from ebotcazou at gcc dot gnu dot org  2006-08-24 15:42 -------
> I wonder if this is related to PR 28834 at all.

The ICE stems from a new sanity check in the DWARF-2 back-end and we have
fixed the problem in Gigi.


-- 


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

[Bug ada/28591] [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2006-09-13 18:40 -------
Subject: Bug 28591

Author: ebotcazou
Date: Wed Sep 13 18:40:26 2006
New Revision: 116928

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116928
Log:
        PR ada/28591
        * decl.c (components_to_record): Defer emitting debug info for the
        record type associated with the variant until after we are sure to
        actually use it.


Added:
    trunk/gcc/testsuite/gnat.dg/specs/unchecked_union.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/decl.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug ada/28591] [4.2 regression] ICE in splice_child_die, at dwarf2out.c:5513

[ebotcazou at gcc dot gnu dot org]

------- Comment #5 from ebotcazou at gcc dot gnu dot org  2006-09-13 18:42 -------
Fixed on mainline.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2006-
                   |                            |09/msg00514.html
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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