[Bug c++/55685] New: [4.8 Regression] ICE: canonical types differ for identical types

[Bug c++/55685] New: [4.8 Regression] ICE: canonical types differ for identical types

[rguenth at gcc dot gnu.org]

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

             Bug #: 55685
           Summary: [4.8 Regression] ICE: canonical types differ for
                    identical types
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rguenth@gcc.gnu.org
            Target: i?86-*-*


Created attachment 28951
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28951
preprocessed source

/usr/lib/gcc/i586-suse-linux/4.8/cc1plus -fpreprocessed content_main_runner.ii
-quiet -dumpbase content_main_runner.cc -mmmx -mtune=generic -march=i586
-auxbase-strip
out/Release/obj.target/content_app/content/app/content_main_runner.o -g -O2 -O2
-Wno-error -Wall -Wno-unused-parameter -Wno-missing-field-initializers
-Wsign-compare -w -version -fomit-frame-pointer -fmessage-length=0
-fstack-protector -funwind-tables -fasynchronous-unwind-tables -fno-ipa-cp
-fno-strict-aliasing -fvisibility=hidden -fPIC -fno-ident -fdata-sections
-ffunction-sections -fno-rtti -fno-threadsafe-statics
-fvisibility-inlines-hidden --param ssp-buffer-size=4 -o content_main_runner.s
GNU C++ (SUSE Linux) version 4.8.0 20121212 [trunk revision 194442]
(i586-suse-linux)
        compiled by GNU C version 4.8.0 20121212 [trunk revision 194442], GMP
version 5.0.5, MPFR version 3.1.1, MPC version 1.0
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (SUSE Linux) version 4.8.0 20121212 [trunk revision 194442]
(i586-suse-linux)
        compiled by GNU C version 4.8.0 20121212 [trunk revision 194442], GMP
version 5.0.5, MPFR version 3.1.1, MPC version 1.0
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 7994fbb6f783568f8bffde327e2e9c27
In file included from ./base/posix/global_descriptors.h:15:0,
                 from ./content/public/browser/content_browser_client.h:21,
                 from content/app/content_main_runner.cc:31:
./base/memory/singleton.h:136:40: internal compiler error: canonical types
differ for identical types base::AlignedMemory<sizeof (Type), __alignof__
(Type)> and base::AlignedMemory<sizeof (Type), __alignof__ (Type)>
     StaticMemorySingletonTraits<Type>::buffer_;
                                        ^
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://bugs.opensuse.org/> for instructions.

[Bug c++/55685] [4.8 Regression] ICE: canonical types differ for identical types

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0

[Bug c++/55685] [4.8 Regression] ICE: canonical types differ for identical types

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-12-14 09:38:46 UTC ---
Reducing.

[Bug c++/55685] [4.8 Regression] ICE: canonical types differ for identical types

[mpolacek at gcc dot gnu.org]

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-12-14 10:48:40 UTC ---
Reduced.  Hope I haven't turned it into something invalid.

typedef unsigned int size_t;
namespace base
{
  template < size_t Size, size_t ByteAlignment > struct AlignedMemory;
    template < typename Type > struct StaticMemorySingletonTraits
  {
  };  

  template < typename Type > base::AlignedMemory < sizeof (Type), 0 > 
  StaticMemorySingletonTraits < Type >::dead_;
}

[Bug c++/55685] [4.8 Regression] ICE: canonical types differ for identical types

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-12-14
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-14 10:56:45 UTC ---
Even more simplified and turned (hopefully) into valid testcase:

typedef __SIZE_TYPE__ size_t;
template <size_t T, size_t U>
struct A;

template <typename T> struct B
{
  static A <sizeof (T), 0> x;
};  

template <typename T>
A <sizeof (T), 0> B <T>::x;

As expected, started with
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192141
I knew why I was initially proposing the far less risky hack.

[Bug c++/55685] [4.8 Regression] ICE: canonical types differ for identical types

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

[Bug c++/55685] [4.8 Regression] ICE: canonical types differ for identical types

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2012-12-15 04:03:04 UTC ---
Author: jason
Date: Sat Dec 15 04:02:52 2012
New Revision: 194517

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194517
Log:
    PR c++/55685
    * pt.c (tsubst_copy_and_build): Don't use SIZEOF_EXPR_TYPE_P in
    templates.

Added:
    trunk/gcc/testsuite/g++.dg/template/sizeof15.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c

[Bug c++/55685] [4.8 Regression] ICE: canonical types differ for identical types

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-12-15 04:03:45 UTC ---
Fixed.