[Bug c++/54416] New: [4.8] ICE (segv) in codegen

[Bug c++/54416] New: [4.8] ICE (segv) in codegen

[simonb at google dot com]

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

             Bug #: 54416
           Summary: [4.8] ICE (segv) in codegen
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: simonb@google.com


Created attachment 28105
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28105
ice.cc

In gcc trunk at r190799:

  configure \
  --enable-languages=c,c++ --disable-bootstrap \
  --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnu \
  --target=x86_64-unknown-linux-gnu

  make -j6 all-gcc

  cat /tmp/ice.cc
  int mumble;
  static
  __typeof (mumble)
     __gthrw_pthread_once __attribute__ ((__weakref__ ("mumble")));
  template < typename T > struct foo;
  template <> struct foo < int >;
  template < typename T > struct bar
  {
    template <> struct foo < int >
    {
      void baz ();
    };
  };
  void foo < int >::baz () { }

  gcc/xgcc -B gcc -c -o /dev/null /tmp/ice.cc
  /tmp/ice1.cc:9:13: error: explicit specialization in non-namespace scope
'struct bar<T>'
     template <> struct foo < int >
               ^
  /tmp/ice1.cc:15:28: internal compiler error: Segmentation fault
   void foo < int >::baz () { }
                            ^
  Please submit a full bug report,
  with preprocessed source if appropriate.
  See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/54416] [4.7/4.8 Regression] ICE (segv) in codegen

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|                            |2012-08-30
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|[4.8] ICE (segv) in codegen |[4.7/4.8 Regression] ICE
                   |                            |(segv) in codegen
   Target Milestone|---                         |4.7.2

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-08-30 10:00:15 UTC ---
Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183221
Guess the uninstantiated templates shouldn't be registered with cgraph either
then.

[Bug c++/54416] [4.7/4.8 Regression] ICE (segv) in codegen

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |error-recovery
           Priority|P3                          |P4

[Bug c++/54416] [4.7/4.8 Regression] ICE (segv) in codegen

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.2                       |4.7.3

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-20 10:20:30 UTC ---
GCC 4.7.2 has been released.

[Bug c++/54416] [4.7/4.8 Regression] ICE (segv) in codegen

[jason at gcc dot gnu.org]

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

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                     |
   Target Milestone|4.7.3                       |4.8.0

[Bug c++/54416] [4.7/4.8 Regression] ICE (segv) in codegen

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-12-11 18:17:00 UTC ---
Author: jason
Date: Tue Dec 11 18:16:50 2012
New Revision: 194408

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194408
Log:
    PR c++/54416
    * pt.c (maybe_process_partial_specialization): Don't accept
    definition of a specialization without the appropriate header.

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

[Bug c++/54416] [4.7/4.8 Regression] ICE (segv) in codegen

[jason at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2012-12-11 22:28:39 UTC ---
Fixed for 4.8, not backporting error-recovery fixes.