[Bug c++/31078] New: [4.3 Regression] warning: same canonical type node for different types

[Bug c++/31078] New: [4.3 Regression] warning: same canonical type node for different types

[tbm at cyrius dot com]

I'm not quite sure what to make of this.  It's not an ICE, but it still looks
like a compiler bug.  GCC 4.2 doesn't show this, only current 4.3 does:

(cross)1591:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/g++ -c firebird2-jrn.cc
firebird2-jrn.cc: In function 'void error(ISC_STATUS*, jrn*, int, TEXT*)':
firebird2-jrn.cc:29: warning: same canonical type node for different types TEXT
[1] and const char [1]
 <array_type 0x2ba387b70480
    type <integer_type 0x2ba387b64840 TEXT string-flag QI
        size <integer_cst 0x2ba3879cd7b0 constant invariant 8>
        unit size <integer_cst 0x2ba3879cd7e0 constant invariant 1>
        align 8 symtab 0 alias set -1 canonical type 0x2ba3879df300 precision 8
min <integer_cst 0x2ba3879cd750 -128> max <integer_cst 0x2ba3879cd8a0 127>
        pointer_to_this <pointer_type 0x2ba387b70540>>
    QI size <integer_cst 0x2ba3879cd7b0 8> unit size <integer_cst
0x2ba3879cd7e0 1>
    align 8 symtab 0 alias set -1 canonical type 0x2ba387b70600
    domain <integer_type 0x2ba3879f5780
        type <integer_type 0x2ba3879df000 long unsigned int public unsigned
sizetype DI
            size <integer_cst 0x2ba3879cdb40 constant invariant 64>
            unit size <integer_cst 0x2ba3879cdb70 constant invariant 8>
            align 64 symtab 0 alias set -1 canonical type 0x2ba3879dfd80
precision 64 min <integer_cst 0x2ba3879cdba0 0> max <integer_cst 0x2ba3879ee420
-1>>
        DI size <integer_cst 0x2ba3879cdb40 64> unit size <integer_cst
0x2ba3879cdb70 8>
        align 64 symtab 0 alias set -1 canonical type 0x2ba3879f5780 precision
64 min <integer_cst 0x2ba3879cd6f0 0> max <integer_cst 0x2ba3879cd6f0 0>>>
 <array_type 0x2ba387b70e40
    type <integer_type 0x2ba3879f5e40 char readonly string-flag QI
        size <integer_cst 0x2ba3879cd7b0 constant invariant 8>
        unit size <integer_cst 0x2ba3879cd7e0 constant invariant 1>
        align 8 symtab 0 alias set -1 canonical type 0x2ba3879f5e40 precision 8
min <integer_cst 0x2ba3879cd750 -128> max <integer_cst 0x2ba3879cd8a0 127>
        pointer_to_this <pointer_type 0x2ba3879f5f00>>
    QI size <integer_cst 0x2ba3879cd7b0 8> unit size <integer_cst
0x2ba3879cd7e0 1>
    align 8 symtab 0 alias set -1 canonical type 0x2ba387b70600
    domain <integer_type 0x2ba3879f5780
        type <integer_type 0x2ba3879df000 long unsigned int public unsigned
sizetype DI
            size <integer_cst 0x2ba3879cdb40 constant invariant 64>
            unit size <integer_cst 0x2ba3879cdb70 constant invariant 8>
            align 64 symtab 0 alias set -1 canonical type 0x2ba3879dfd80
precision 64 min <integer_cst 0x2ba3879cdba0 0> max <integer_cst 0x2ba3879ee420
-1>>
        DI size <integer_cst 0x2ba3879cdb40 64> unit size <integer_cst
0x2ba3879cdb70 8>
        align 64 symtab 0 alias set -1 canonical type 0x2ba3879f5780 precision
64 min <integer_cst 0x2ba3879cd6f0 0> max <integer_cst 0x2ba3879cd6f0 0>>>
firebird2-jrn.cc:29: warning: same canonical type node for different types TEXT
[1] and const char [1]
 <array_type 0x2ba387b70480
    type <integer_type 0x2ba387b64840 TEXT string-flag QI
        size <integer_cst 0x2ba3879cd7b0 constant invariant 8>
        unit size <integer_cst 0x2ba3879cd7e0 constant invariant 1>
        align 8 symtab 0 alias set -1 canonical type 0x2ba3879df300 precision 8
min <integer_cst 0x2ba3879cd750 -128> max <integer_cst 0x2ba3879cd8a0 127>
        pointer_to_this <pointer_type 0x2ba387b70540>>
    QI size <integer_cst 0x2ba3879cd7b0 8> unit size <integer_cst
0x2ba3879cd7e0 1>
    align 8 symtab 0 alias set -1 canonical type 0x2ba387b70600
    domain <integer_type 0x2ba3879f5780
        type <integer_type 0x2ba3879df000 long unsigned int public unsigned
sizetype DI
            size <integer_cst 0x2ba3879cdb40 constant invariant 64>
            unit size <integer_cst 0x2ba3879cdb70 constant invariant 8>
            align 64 symtab 0 alias set -1 canonical type 0x2ba3879dfd80
precision 64 min <integer_cst 0x2ba3879cdba0 0> max <integer_cst 0x2ba3879ee420
-1>>
        DI size <integer_cst 0x2ba3879cdb40 64> unit size <integer_cst
0x2ba3879cdb70 8>
        align 64 symtab 0 alias set -1 canonical type 0x2ba3879f5780 precision
64 min <integer_cst 0x2ba3879cd6f0 0> max <integer_cst 0x2ba3879cd6f0 0>>>
 <array_type 0x2ba387b70e40
    type <integer_type 0x2ba3879f5e40 char readonly string-flag QI
        size <integer_cst 0x2ba3879cd7b0 constant invariant 8>
        unit size <integer_cst 0x2ba3879cd7e0 constant invariant 1>
        align 8 symtab 0 alias set -1 canonical type 0x2ba3879f5e40 precision 8
min <integer_cst 0x2ba3879cd750 -128> max <integer_cst 0x2ba3879cd8a0 127>
        pointer_to_this <pointer_type 0x2ba3879f5f00>>
    QI size <integer_cst 0x2ba3879cd7b0 8> unit size <integer_cst
0x2ba3879cd7e0 1>
    align 8 symtab 0 alias set -1 canonical type 0x2ba387b70600
    domain <integer_type 0x2ba3879f5780
        type <integer_type 0x2ba3879df000 long unsigned int public unsigned
sizetype DI
            size <integer_cst 0x2ba3879cdb40 constant invariant 64>
            unit size <integer_cst 0x2ba3879cdb70 constant invariant 8>
            align 64 symtab 0 alias set -1 canonical type 0x2ba3879dfd80
precision 64 min <integer_cst 0x2ba3879cdba0 0> max <integer_cst 0x2ba3879ee420
-1>>
        DI size <integer_cst 0x2ba3879cdb40 64> unit size <integer_cst
0x2ba3879cdb70 8>
        align 64 symtab 0 alias set -1 canonical type 0x2ba3879f5780 precision
64 min <integer_cst 0x2ba3879cd6f0 0> max <integer_cst 0x2ba3879cd6f0 0>>>
firebird2-jrn.cc:29: warning: same canonical type node for different types TEXT
[1] and const char [1]
 <array_type 0x2ba387b70480
    type <integer_type 0x2ba387b64840 TEXT string-flag QI
        size <integer_cst 0x2ba3879cd7b0 constant invariant 8>
        unit size <integer_cst 0x2ba3879cd7e0 constant invariant 1>
        align 8 symtab 0 alias set -1 canonical type 0x2ba3879df300 precision 8
min <integer_cst 0x2ba3879cd750 -128> max <integer_cst 0x2ba3879cd8a0 127>
        pointer_to_this <pointer_type 0x2ba387b70540>>
    QI size <integer_cst 0x2ba3879cd7b0 8> unit size <integer_cst
0x2ba3879cd7e0 1>
    align 8 symtab 0 alias set -1 canonical type 0x2ba387b70600
    domain <integer_type 0x2ba3879f5780
        type <integer_type 0x2ba3879df000 long unsigned int public unsigned
sizetype DI
            size <integer_cst 0x2ba3879cdb40 constant invariant 64>
            unit size <integer_cst 0x2ba3879cdb70 constant invariant 8>
            align 64 symtab 0 alias set -1 canonical type 0x2ba3879dfd80
precision 64 min <integer_cst 0x2ba3879cdba0 0> max <integer_cst 0x2ba3879ee420
-1>>
        DI size <integer_cst 0x2ba3879cdb40 64> unit size <integer_cst
0x2ba3879cdb70 8>
        align 64 symtab 0 alias set -1 canonical type 0x2ba3879f5780 precision
64 min <integer_cst 0x2ba3879cd6f0 0> max <integer_cst 0x2ba3879cd6f0 0>>>
 <array_type 0x2ba387b70e40
    type <integer_type 0x2ba3879f5e40 char readonly string-flag QI
        size <integer_cst 0x2ba3879cd7b0 constant invariant 8>
        unit size <integer_cst 0x2ba3879cd7e0 constant invariant 1>
        align 8 symtab 0 alias set -1 canonical type 0x2ba3879f5e40 precision 8
min <integer_cst 0x2ba3879cd750 -128> max <integer_cst 0x2ba3879cd8a0 127>
        pointer_to_this <pointer_type 0x2ba3879f5f00>>
    QI size <integer_cst 0x2ba3879cd7b0 8> unit size <integer_cst
0x2ba3879cd7e0 1>
    align 8 symtab 0 alias set -1 canonical type 0x2ba387b70600
    domain <integer_type 0x2ba3879f5780
        type <integer_type 0x2ba3879df000 long unsigned int public unsigned
sizetype DI
            size <integer_cst 0x2ba3879cdb40 constant invariant 64>
            unit size <integer_cst 0x2ba3879cdb70 constant invariant 8>
            align 64 symtab 0 alias set -1 canonical type 0x2ba3879dfd80
precision 64 min <integer_cst 0x2ba3879cdba0 0> max <integer_cst 0x2ba3879ee420
-1>>
        DI size <integer_cst 0x2ba3879cdb40 64> unit size <integer_cst
0x2ba3879cdb70 8>
        align 64 symtab 0 alias set -1 canonical type 0x2ba3879f5780 precision
64 min <integer_cst 0x2ba3879cd6f0 0> max <integer_cst 0x2ba3879cd6f0 0>>>


-- 
           Summary: [4.3 Regression] warning: same canonical type node for
                    different types
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-03-08 09:45 -------
Created an attachment (id=13169)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13169&action=view)
testcase


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types

[manu at gcc dot gnu dot org]

------- Comment #2 from manu at gcc dot gnu dot org  2007-03-08 11:39 -------
It is indeed. It is related to this patch:
http://gcc.gnu.org/ml/gcc/2006-11/msg00192.html


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types

[manu at gcc dot gnu dot org]

------- Comment #3 from manu at gcc dot gnu dot org  2007-03-08 11:40 -------
I think the warning message should be more explicit. It should say: this is a
compiler bug, please report it, or something similar.


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[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
            Summary|[4.3 Regression] warning:   |[4.3 Regression] warning:
                   |same canonical type node for|same canonical type node for
                   |different types             |different types with const
                   |                            |strings
   Target Milestone|---                         |4.3.0


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-03-08 13:10 -------
Reduced testcase:
char a[1];
void
error (int journal )
{
 const char *b =  journal?a: "";
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-08 13:10:49
               date|                            |


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[gdr at cs dot tamu dot edu]

------- Comment #5 from gdr at cs dot tamu dot edu  2007-03-08 13:20 -------
Subject: Re:  [4.3 Regression] warning: same canonical type node for different
types

"manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| ------- Comment #3 from manu at gcc dot gnu dot org  2007-03-08 11:40 -------
| I think the warning message should be more explicit. It should say: this is a
| compiler bug, please report it, or something similar.

I thought we eventually agreed that it should be a plain internal_error.

Warning is for constructs in user codes, nont compiler internals.

-- Gaby


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2007-03-08 17:40 -------
> I thought we eventually agreed that it should be a plain internal_error.

Not until right before the release: 
http://gcc.gnu.org/ml/gcc-patches/2007-01/msg01850.html


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[manu at gcc dot gnu dot org]

------- Comment #7 from manu at gcc dot gnu dot org  2007-03-08 17:46 -------
(In reply to comment #6)
> > I thought we eventually agreed that it should be a plain internal_error.
> 
> Not until right before the release: 
> http://gcc.gnu.org/ml/gcc-patches/2007-01/msg01850.html
> 

Nevertheless, I think we should mention that "this is a bug, please report it",
so early testers would know what is going on.


-- 

manu at gcc dot gnu dot org changed:

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


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[tbm at cyrius dot com]

------- Comment #8 from tbm at cyrius dot com  2007-03-09 10:52 -------
I definitely think this should be an error, not a warning.  I only saw this
problem by luck.  I'm compiling the entire Debian archive (ie 7000 packages)
on IA64 with GCC 4.3 and I cannot look at every log file (especially when
the build was successful).  I only noticed this one because the program
failed to compile later on and I looked at the log to see the error.

Anyway, are there any other "warning" messages like this one?  If so, I can
search
my log files.


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[tbm at cyrius dot com]

------- Comment #9 from tbm at cyrius dot com  2007-03-09 11:21 -------
This warning is really frequent.  I can find 2200 warnings that mention "const"
and "same canonical type node for different types".  Some don't mention
"const";
I'll look at them and file separate bugs.


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[ubizjak at gmail dot com]

------- Comment #10 from ubizjak at gmail dot com  2007-03-09 11:22 -------
(In reply to comment #8)

> Anyway, are there any other "warning" messages like this one?  If so, I can
> search my log files.

Yes, the one reported in PR middle-end/30666.


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[tbm at cyrius dot com]

------- Comment #11 from tbm at cyrius dot com  2007-03-09 12:13 -------
Another problem is that this warning does not always occur, even when I use
the same source and options.


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[tbm at cyrius dot com]

------- Comment #12 from tbm at cyrius dot com  2007-03-09 12:49 -------
PR31103 - same canonical type node for different types with long int
PR31104 - same canonical type node for different types with anonymous


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[dgregor at gcc dot gnu dot org]

-- 

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|2007-03-08 13:10:49         |2007-04-05 04:43:14
               date|                            |


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[dgregor at gcc dot gnu dot org]

------- Comment #13 from dgregor at gcc dot gnu dot org  2007-04-12 12:48 -------
Subject: Bug 31078

Author: dgregor
Date: Thu Apr 12 12:47:56 2007
New Revision: 123740

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123740
Log:
2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/31078
        PR c++/31103
        * c-common.c (c_build_qualified_type): Set canonical type
        appropriately.  

2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/31078
        * g++.dg/other/pr31078.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/other/pr31078.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-common.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/31078] [4.3 Regression] warning: same canonical type node for different types with const strings

[dgregor at gcc dot gnu dot org]

------- Comment #14 from dgregor at gcc dot gnu dot org  2007-04-12 12:50 -------
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=31078