[Bug c++/35315] New: [4.4 regression] ICE with attribute transparent_union

[Bug c++/35315] New: [4.4 regression] ICE with attribute transparent_union

[reichelt at gcc dot gnu dot org]

The following valid code snippet triggers an ICE on mainline:

=================================================================
typedef union { int i; } U __attribute__((transparent_union));

static void foo(U) {}
static void foo(int) {}

void bar()
{
  foo(0);
}
=================================================================

bug.cc: In function 'void bar()':
bug.cc:8: internal compiler error: same canonical type node for different types
<anonymous union> and U
Please submit a full bug report, [etc.]


-- 
           Summary: [4.4 regression] ICE with attribute transparent_union
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[jason at gcc dot gnu dot org]

-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jason at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-02-25 18:11:25
               date|                            |


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[dgregor at gcc dot gnu dot org]

------- Comment #1 from dgregor at gcc dot gnu dot org  2008-02-26 07:16 -------
Patch here: http://gcc.gnu.org/ml/gcc-patches/2008-02/msg01272.html


-- 


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[jason at gcc dot gnu dot org]

------- Comment #2 from jason at gcc dot gnu dot org  2008-02-26 18:09 -------
Subject: Bug 35315

Author: jason
Date: Tue Feb 26 18:09:02 2008
New Revision: 132681

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132681
Log:
        PR c++/35315
        * attribs.c (decl_attributes): Leave ATTR_FLAG_TYPE_IN_PLACE
        alone if it's the naming decl for the type's main variant.
        * cp/decl.c (grokdeclarator): Allow a typedef of an unnamed struct
        to name the struct for linkage purposes even if it has attributes.
        (start_decl): In that case, set ATTR_FLAG_TYPE_IN_PLACE.

Added:
    trunk/gcc/testsuite/g++.dg/ext/attrib32.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/attribs.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c


-- 


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[dgregor at gcc dot gnu dot org]

------- Comment #3 from dgregor at gcc dot gnu dot org  2008-02-29 21:42 -------
Subject: Bug 35315

Author: dgregor
Date: Fri Feb 29 21:41:38 2008
New Revision: 132779

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132779
Log:
2008-02-29  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35315
        * tree-inline.c (build_duplicate_type): When we make a
        duplicate type, make it unique in the canonical types system.

2008-02-29  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35315
        * g++.dg/ext/attrib32.C: Add another test case.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/ext/attrib32.C
    trunk/gcc/tree-inline.c


-- 


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[dgregor at gcc dot gnu dot org]

------- Comment #4 from dgregor at gcc dot gnu dot org  2008-03-01 05:38 -------
Subject: Bug 35315

Author: dgregor
Date: Sat Mar  1 05:37:41 2008
New Revision: 132798

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132798
Log:
2008-02-29  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35315
        * tree-inline.c (build_duplicate_type): When we make a
        duplicate type, make it unique in the canonical types system.

2008-02-29  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/35315
        * g++.dg/ext/attrib32.C: New.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/ext/attrib32.C
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/tree-inline.c


-- 


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[dgregor at gcc dot gnu dot org]

------- Comment #5 from dgregor at gcc dot gnu dot org  2008-03-01 16:29 -------
Fixed on mainline and 4.3 branch.


-- 

dgregor at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug c++/35315] [4.4 regression] ICE with attribute transparent_union

[jason at gcc dot gnu.org]

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-18 15:06:47 UTC ---
Author: jason
Date: Fri Mar 18 15:06:41 2011
New Revision: 171145

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171145
Log:
    PR c++/35315
    * c-common.c (handle_transparent_union_attribute): Don't
    make a duplicate type in C++.

Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/ext/attrib32.C