Re: c++/10126: ICE in convert_nontype_argument on using overload resolution in template args

Re: c++/10126: ICE in convert_nontype_argument on using overload resolution in template args

[Giovanni Bajo]

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

From: "Giovanni Bajo" <giovannibajo@libero.it>
To: <gcc-gnats@gcc.gnu.org>,
	<gcc-bugs@gcc.gnu.org>,
	<nobody@gcc.gnu.org>,
	<gcc-prs@gcc.gnu.org>,
	<Marco.Franzen@bigfoot.com>
Cc:  
Subject: Re: c++/10126: ICE in convert_nontype_argument on using overload resolution in template args
Date: Tue, 18 Mar 2003 02:50:18 +0100

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p
 r=10126
 
 I wonder if the code is legal. Comeau refuses it, VC7.1 eats it. I am very
 fuzzy about member functions as template parameters.
 
 Giovanni Bajo
 

Re: c++/10126: ICE in convert_nontype_argument on using overload resolution in template args

[bangerth]

Old Synopsis: ICE on template code
New Synopsis: ICE in convert_nontype_argument on using overload resolution in template args

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Tue Mar 18 00:46:18 2003
State-Changed-Why:
    Confirmed:
    -------------------
    struct B {
        int I () const;
        int I ();
    };
    
    struct D : B {};
    
    template <int (D::*fun)() const> int Get();
    
    int main () {
      Get<&B::I>();
    }
    -----------------------
    
    g/x> /home/bangerth/bin/gcc-3.4-pre/bin/c++ -c x.cc
    x.cc: In function `int main()':
    x.cc:11: internal compiler error: in convert_nontype_argument, at cp/pt.c:3313
    
    This never worked, 2.95 went into a memory hungry infinite
    loop, later versions ICEd.
    
    W.

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