[Bug c++/33112] New: ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[Bug c++/33112] New: ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[sylvain dot pion at sophia dot inria dot fr]

This is with today's g++ 4.3, but has been there for a few weeks:

Configured with: /proj/geometrica/home/GCC/trunk/configure
--with-gmp=/proj/geometrica/home/MPFR/MPFR-2.2.1/FC5 --disable-shared
--disable-nls --enable-languages=c++,fortran
--prefix=/proj/geometrica/home/GCC/Linux-fc5-4.3
Thread model: posix
gcc version 4.3.0 20070819 (experimental)

Compiling the attached preprocessed file with "-c -O2" produces the
following ICE.  Note that it is not deterministic: you usually need
to repeat the compile 10-20 times to see it...

spion@historis:/proj/geometrica/home/CGAL/CGAL-I/src/CGAL> while
(/proj/geometrica/home/GCC/Linux-fc5-4.3/bin/g++   -c JAMA_numeric_solver.ii
-O2 ) ;
do ; echo OK ;done;
OK
OK
OK
OK
OK
In file included from
/auto/papillon/u/papillon/0/projserver/geometrica/home/GCC/Linux-fc5-4.3/bin/../lib/gcc/i686-pc-linux-gnu/4.3.0/../../../../include/c++/4.3.0/locale:49,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Quotient.h:41,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Root_of_traits.h:27,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/number_type_basic.h:87,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/basic.h:36,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Polynomial/internal/macros.h:31,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Polynomial/basic.h:42,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Polynomial/internal/numeric_solvers_support.h:24,
                 from JAMA_numeric_solver.cpp:22:
/auto/papillon/u/papillon/0/projserver/geometrica/home/GCC/Linux-fc5-4.3/bin/../lib/gcc/i686-pc-linux-gnu/4.3.0/../../../../include/c++/4.3.0/bits/locale_facets_nonio.h:176:
internal compiler error: canonical types differ for identical types const
_CharT* [14] and const _CharT* [14]
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


I have also been able to reproduce it with only "-O".


-- 
           Summary: ICE : canonical types differ for identical types const
                    _CharT* [14] and const _CharT* [14]
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sylvain dot pion at sophia dot inria dot fr
  GCC host triplet: i686-pc-linux-gnu


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

[Bug c++/33112] ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[sylvain dot pion at sophia dot inria dot fr]

------- Comment #1 from sylvain dot pion at sophia dot inria dot fr  2007-08-19 12:55 -------
Created an attachment (id=14076)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14076&action=view)
Compressed pre-processed C++ source code


-- 


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

[Bug c++/33112] ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[steven at gcc dot gnu dot org]

-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dgregor at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-08-19 13:04:48
               date|                            |


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

[Bug c++/33112] ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[dgregor at gcc dot gnu dot org]

------- Comment #2 from dgregor at gcc dot gnu dot org  2007-09-10 20:38 -------
Could someone try the patch at

  http://gcc.gnu.org/ml/gcc-patches/2007-09/msg00910.html

to determine whether this fixes the bug? I am unable to reproduce the bug
locally.


-- 


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

[Bug c++/33112] ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[sylvain dot pion at sophia dot inria dot fr]

------- Comment #3 from sylvain dot pion at sophia dot inria dot fr  2007-09-11 12:16 -------
Hi Doug,

I tried your patch, and it seems to have a good effect, since I do not see
this error anymore.  That said, I now get another one, which looks pretty
similar:

In file included from /usr/include/boost/type_traits.hpp:62,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Qualified_result_of.h:29,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/kernel_basic.h:44,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/basic.h:38,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Polynomial/internal/macros.h:31,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Polynomial/basic.h:42,
                 from
/proj/geometrica/home/CGAL/CGAL-I/include/CGAL/Polynomial/internal/numeric_solvers_support.h:24,
                 from JAMA_numeric_solver.cpp:22:
/usr/include/boost/type_traits/extent.hpp:101: internal compiler error:
canonical types differ for identical types const T [] and const T []
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug c++/33112] ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[dgregor at gcc dot gnu dot org]

------- Comment #4 from dgregor at gcc dot gnu dot org  2007-09-19 21:45 -------
Here is the real fix:

  http://gcc.gnu.org/ml/gcc-patches/2007-09/msg01544.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|2007-08-19 13:04:48         |2007-09-19 21:45:53
               date|                            |


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

[Bug c++/33112] ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[dgregor at gcc dot gnu dot org]

------- Comment #5 from dgregor at gcc dot gnu dot org  2007-09-24 12:15 -------
Subject: Bug 33112

Author: dgregor
Date: Mon Sep 24 12:14:57 2007
New Revision: 128711

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

        PR c++/33112
        PR c++/33185    
        * tree.c (cplus_array_compare): Compare pointers, not types.
        (build_cplus_array_type_1): Store new array type into the hash
        table before building the canonical type; build the canonical type
        correctly.
        (cp_build_qualified_type_real): Put all of the array types with
        cv-qualified element types into the C++ array hash table, built as 
        variants of the unqualified versions.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/tree.c


-- 


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

[Bug c++/33112] ICE : canonical types differ for identical types const _CharT* [14] and const _CharT* [14]

[dgregor at gcc dot gnu dot org]

------- Comment #6 from dgregor at gcc dot gnu dot org  2007-09-24 12:52 -------
Fixed by the patch below


-- 

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