[Bug c++/49823] New: [C++0x] ICE on decltype(expr)::type with template

[Bug c++/49823] New: [C++0x] ICE on decltype(expr)::type with template

[flast at flast dot jp]

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

           Summary: [C++0x] ICE on decltype(expr)::type with template
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: flast@flast.jp


All of following three template functions occur ICE with GCC 4.7.0 20110723.

----8<----
template < typename T >
auto f( const T &x )
  -> typename decltype( x )::type; // ICE on here

template < typename T >
typename decltype( T{} )::type // ICE on here
f( T );

template < typename T >
void f( T x )
{ typename decltype( x )::type x; } // ICE on here
----8<----

[Bug c++/49823] [C++0x] ICE on decltype(expr)::type with template

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.07.23 15:54:58
                 CC|                            |jason at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-07-23 15:54:58 UTC ---
The new if block added at the beginning of cp_parser_qualifying_entity as part
of implementing DR 743, returns NULL_TREE as TYPE_NAME (scope).

[Bug c++/49823] [C++0x] ICE on decltype(expr)::type with template

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-25 05:03:54 UTC ---
Author: jason
Date: Mon Jul 25 05:03:50 2011
New Revision: 176732

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176732
Log:
    PR c++/49823
    * parser.c (cp_parser_qualifying_entity): Handle templates.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype21.C

[Bug c++/49823] [C++0x] ICE on decltype(expr)::type with template

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.7.0

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-25 05:04:21 UTC ---
Fixed.