[Bug c++/34935] New: [4.3 regression] ICE with attribute may_alias

[Bug c++/34935] New: [4.3 regression] ICE with attribute may_alias

[reichelt at gcc dot gnu dot org]

The following valid code snippet triggers an ICE on mainline:

============================================
typedef int X __attribute((may_alias));

void foo(X);
void foo(int,int);
============================================

bug.cc:4: internal compiler error: same canonical type node for different types
int and X
Please submit a full bug report, [etc.]


-- 
           Summary: [4.3 regression] ICE with attribute may_alias
           Product: gcc
           Version: 4.3.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=34935

[Bug c++/34935] [4.3 regression] ICE with attribute may_alias

[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=34935

[Bug c++/34935] [4.3 regression] ICE with attribute may_alias

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-01-23 10:46 -------
Confirmed.  They should not have the same canonical type.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-checking, wrong-code
           Priority|P3                          |P2
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-23 10:46:20
               date|                            |


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

[Bug c++/34935] [4.3 regression] ICE with attribute may_alias

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2008-01-23 16:20 -------
CCing the canonical type expert.


-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dgregor at gcc dot gnu dot
                   |                            |org


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

[Bug c++/34935] [4.3 regression] ICE with attribute may_alias

[dgregor at gcc dot gnu dot org]

------- Comment #3 from dgregor at gcc dot gnu dot org  2008-01-25 21:15 -------
It turns out that the canonical types system is doing the right thing, and that
the older type-comparison mechanisms are getting the wrong answer. This is
still my bug, and it is a regression. Patch here:

  http://gcc.gnu.org/ml/gcc-patches/2008-01/msg01161.html


-- 

dgregor at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dgregor at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-01-23 10:46:20         |2008-01-25 21:15:54
               date|                            |


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

[Bug c++/34935] [4.3 regression] ICE with attribute may_alias

[dgregor at gcc dot gnu dot org]

------- Comment #4 from dgregor at gcc dot gnu dot org  2008-01-31 20:07 -------
Subject: Bug 34935

Author: dgregor
Date: Thu Jan 31 20:06:33 2008
New Revision: 131984

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131984
Log:
2008-01-31  Douglas Gregor  <doug.gregor@gmail.com>
           Jakub Jelinek  <jakub@redhat.com>

       PR c++/34935
       PR c++/34936
       * typeck.c (structural_comptypes): Handle comparisons of
       VOID_TYPE, BOOLEAN_TYPE, INTEGER_TYPE, FIXED_POINT_TYPE, and
       REAL_TYPE nodes.
       * mangle.c (write_builtin_type): Map down to the canonical type,
       which will be one of the predefined type nodes.

2008-01-31  Douglas Gregor  <doug.gregor@gmail.com>
           Jakub Jelinek  <jakub@redhat.com>

       PR c++/34935
       PR c++/34936
       * g++.dg/ext/alias-canon.C: New.
       * g++.dg/ext/alias-mangle.C: New.


Added:
    trunk/gcc/testsuite/g++.dg/ext/alias-canon.C
    trunk/gcc/testsuite/g++.dg/ext/alias-mangle.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/34935] [4.3 regression] ICE with attribute may_alias

[dgregor at gcc dot gnu dot org]

------- Comment #5 from dgregor at gcc dot gnu dot org  2008-01-31 20:07 -------
Fixed on mainline


-- 

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