[Bug c++/47511] New: [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[Bug c++/47511] New: [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[marc.glisse at normalesup dot org]

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

           Summary: [C++0x] ICE: unexpected ast of kind template_decl in
                    potential_constant_expression_1, at
                    cp/semantics.c:7711
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: marc.glisse@normalesup.org


namespace N {
    template <typename T> bool g( T ) {
        return true;
    }
    struct A { };
}
template <class T> void f(const T&) {
    N::A x;
    g(x) ;
}

$ c++ -std=gnu++0x -c a.cc
a.cc: In function 'void f(const T&)':
a.cc:9:7: sorry, unimplemented: unexpected ast of kind template_decl
a.cc:9:7: internal compiler error: in potential_constant_expression_1, at
cp/semantics.c:7711

[Bug c++/47511] [4.6 Regression] [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.01.28 17:06:31
                 CC|                            |jakub at gcc dot gnu.org
      Known to work|                            |4.5.2
   Target Milestone|---                         |4.6.0
            Summary|[C++0x] ICE: unexpected ast |[4.6 Regression] [C++0x]
                   |of kind template_decl in    |ICE: unexpected ast of kind
                   |potential_constant_expressi |template_decl in
                   |on_1, at                    |potential_constant_expressi
                   |cp/semantics.c:7711         |on_1, at
                   |                            |cp/semantics.c:7711
     Ever Confirmed|0                           |1
      Known to fail|                            |4.6.0

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-28 17:06:31 UTC ---
Confirmed, 4.5 compiles this.

[Bug c++/47511] [4.6 Regression] [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-28 18:59:00 UTC ---
It is caused by revision 169096:

http://gcc.gnu.org/ml/gcc-cvs/2011-01/msg00718.html

[Bug c++/47511] [4.6 Regression] [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[jason at gcc dot gnu.org]

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

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

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-01-28 23:14:23 UTC ---
Mine.

[Bug c++/47511] [4.6 Regression] [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
           Priority|P3                          |P1

[Bug c++/47511] [4.6 Regression] [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-02-10 16:29:43 UTC ---
Author: jason
Date: Thu Feb 10 16:29:39 2011
New Revision: 170005

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170005
Log:
    PR c++/47511
    * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/regress/
    trunk/gcc/testsuite/g++.dg/cpp0x/regress/README
    trunk/gcc/testsuite/g++.dg/cpp0x/regress/regress1.C
      - copied, changed from r170004,
trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-regress1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/regress/regress2.C
      - copied, changed from r170004,
trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-regress2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/regress/regress3.C
Removed:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-regress1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-regress2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/47511] [4.6 Regression] [C++0x] ICE: unexpected ast of kind template_decl in potential_constant_expression_1, at cp/semantics.c:7711

[jason at gcc dot gnu.org]

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

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> 2011-02-11 20:15:30 UTC ---
Fixed.