[Bug c++/66255] New: ice in retrieve_specialization

[Bug c++/66255] New: ice in retrieve_specialization

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255

            Bug ID: 66255
           Summary: ice in retrieve_specialization
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 35601
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35601&action=edit
gzipped C++ source code

The attached code, when compiled by gcc trunk dated 20150520 and with
flags -O2 -march=native  -std=c++0x on a x86_64 box, says this:

/usr/include/qt5/QtCore/qglobalstatic.h:123:1: internal compiler error: in
retrieve_specialization, at cp/pt.c:1065
 {
  ^
0x6344fa retrieve_specialization
    ../../src/trunk/gcc/cp/pt.c:1065
0x65a169 tsubst_decl
    ../../src/trunk/gcc/cp/pt.c:11290
0x645c8e tsubst(tree_node*, tree_node*, int, tree_node*)
    ../../src/trunk/gcc/cp/pt.c:11812
0x678268 instantiate_class_template_1
    ../../src/trunk/gcc/cp/pt.c:9400

[Bug c++/66255] [6 Regression] ice in retrieve_specialization

[miyuki at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255

Mikhail Maltsev <miyuki at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.9.2, 5.1.0
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2015-05-23
                 CC|                            |miyuki at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|ice in                      |[6 Regression] ice in
                   |retrieve_specialization     |retrieve_specialization
      Known to fail|                            |6.0

--- Comment #1 from Mikhail Maltsev <miyuki at gcc dot gnu.org> ---
Reduced testcase:

typedef int int_t;

template <int_t &>
struct S { };

int_t a;
S <a> b;

[Bug c++/66255] [6 Regression] ice in retrieve_specialization

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |trippels at gcc dot gnu.org

--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Also happens several times when running the Boost testsuite.
CCing Jason. The check was introduced in r223305.

[Bug c++/66255] [6 Regression] ice in retrieve_specialization

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 66607 has been marked as a duplicate of this bug. ***

[Bug c++/66255] [6 Regression] ice in retrieve_specialization

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255

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

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.

[Bug c++/66255] [6 Regression] ice in retrieve_specialization

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Jun 26 20:33:46 2015
New Revision: 225084

URL: https://gcc.gnu.org/viewcvs?rev=225084&root=gcc&view=rev
Log:
        PR c++/66255
        * pt.c (check_unstripped_args): Split out from...
        (retrieve_specialization): ...here.  Allow typedefs in the type of
        a non-type argument.

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

[Bug c++/66255] [6 Regression] ice in retrieve_specialization

[manfred99 at gmx dot ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255

Manfred Schwarb <manfred99 at gmx dot ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manfred99 at gmx dot ch

--- Comment #6 from Manfred Schwarb <manfred99 at gmx dot ch> ---
I just got

../../gcc-trunk-source/gcc/gcc/cp/pt.c:1026:29: error: unused parameter 'args'
[-Werror=unused-parameter]
 check_unstripped_args (tree args)
                             ^
cc1plus: all warnings being treated as errors
make[3]: *** [cp/pt.o] Error 1
make[3]: *** Waiting for unfinished jobs....
make[2]: *** [all-stage2-gcc] Error 2
make[1]: *** [stage2-bubble] Error 2
make: *** [bootstrap2-lean] Error 2


the whole code is encapsulated with #ifdef ENABLE_CHECKING ...