Re: c++/2513: [2003-01-21] internal template template parameter causes ICE

Re: c++/2513: [2003-01-21] internal template template parameter causes ICE

[Wolfgang Bangerth]

The following reply was made to PR c++/2513; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@ices.utexas.edu>
To: Giovanni Bajo <giovannibajo@libero.it>
Cc: gcc-gnats@gcc.gnu.org, <ariels@compugen.co.il>
Subject: Re: c++/2513: [2003-01-21] internal template template parameter
 causes ICE
Date: Mon, 21 Apr 2003 10:24:51 -0500 (CDT)

 > Reconfirmed. Current status:
 > 
 > 2.95: ICE
 > 3.2: error
 > 3.2.2: ICE
 > 3.3 20030413: ICE
 > 3.4 20030413: error
 
 To avoid confusion: the code is legal, so the category is now 
 rejects-legal, rather than ice-on-legal.
 
 W.
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                                www: http://www.ices.utexas.edu/~bangerth/
 
 

Re: c++/2513: [2003-01-21] internal template template parameter causes ICE

[Giovanni Bajo]

The following reply was made to PR c++/2513; it has been noted by GNATS.

From: "Giovanni Bajo" <giovannibajo@libero.it>
To: <gcc-gnats@gcc.gnu.org>,
	<ariels@compugen.co.il>,
	<gcc-bugs@gcc.gnu.org>,
	<nobody@gcc.gnu.org>,
	<gcc-prs@gcc.gnu.org>
Cc: "Wolfgang Bangerth" <bangerth@ices.utexas.edu>
Subject: Re: c++/2513: [2003-01-21] internal template template parameter causes ICE
Date: Mon, 21 Apr 2003 00:48:53 +0200

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p
 r=2513
 
 Reconfirmed. Current status:
 
 2.95: ICE
 3.2: error
 3.2.2: ICE
 3.3 20030413: ICE
 3.4 20030413: error
 
 Giovanni Bajo
 

Re: c++/2513: [2003-01-21] internal template template parameter causes ICE

[ehrhardt]

Old Synopsis: [2003-01-01] internal template template parameter causes ICE
New Synopsis: [2003-01-21] internal template template parameter causes ICE

State-Changed-From-To: suspended->analyzed
State-Changed-By: cae
State-Changed-When: Sat Jan 25 00:48:27 2003
State-Changed-Why:
    This was suspended waiting for the new parser. Someone confirmed
    that it is still present with the new parser already but apparently
    the state wasn't changed. While we're at it: Here's a further
    reduced example:
    
    template <bool flag>
    struct Select
    {
      typedef int Result;
    };
    
    template <template<class> class Pred>
    struct FindType {
      typedef typename Select<Pred<int>::Value == 1>::Result Result;
    };
    
    template <int bits>
    struct Int {
      template<typename T>
      struct RightSize {
        enum { Value };
      };
      typedef typename FindType<RightSize>::Result type;
    };

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=2513