Re: c++/353: gcc reports both existence and non existence of constructor of template class.correct error message for legal template code with method pointer

Re: c++/353: gcc reports both existence and non existence of constructor of template class.correct error message for legal template code with method pointer

[nathan]

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

From: nathan@gcc.gnu.org
To: brussee@mathematik.uni-bielefeld.de, gcc-bugs@gcc.gnu.org,
  gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org
Cc:  
Subject: Re: c++/353: gcc reports both existence and non existence of constructor  of  template class.correct error message for legal template code with method pointer
Date: 21 Nov 2001 11:43:20 -0000

 Synopsis: gcc reports both existence and non existence of constructor  of  template class.correct error message for legal template code with method pointer
 
 State-Changed-From-To: analyzed->closed
 State-Changed-By: nathan
 State-Changed-When: Wed Nov 21 03:43:19 2001
 State-Changed-Why:
     The code is ill-formed. the mainline now reports,
     incomming/353.ii: In function `void 
        __static_initialization_and_destruction_0(int, int)':
     incomming/353.ii:15: no matching function for call to `Y<int ()()>::Y(int 
        (X::*)())'
     incomming/353.ii:7: candidates are: Y<int ()()>::Y(const Y<int ()()>&)
     incomming/353.ii:11:                 Y<T>::Y(T X::*) [with T = int ()()]
     
     I.e. Y's parameter is a pointer to member of type
     void function returning int.  NOT pointer to member function
     of type ...
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=353&database=gcc

Re: c++/353: gcc reports both existence and non existence of constructor of template class.correct error message for legal template code with method pointer

[nathan]

Synopsis: gcc reports both existence and non existence of constructor  of  template class.correct error message for legal template code with method pointer

State-Changed-From-To: analyzed->closed
State-Changed-By: nathan
State-Changed-When: Wed Nov 21 03:43:19 2001
State-Changed-Why:
    The code is ill-formed. the mainline now reports,
    incomming/353.ii: In function `void 
       __static_initialization_and_destruction_0(int, int)':
    incomming/353.ii:15: no matching function for call to `Y<int ()()>::Y(int 
       (X::*)())'
    incomming/353.ii:7: candidates are: Y<int ()()>::Y(const Y<int ()()>&)
    incomming/353.ii:11:                 Y<T>::Y(T X::*) [with T = int ()()]
    
    I.e. Y's parameter is a pointer to member of type
    void function returning int.  NOT pointer to member function
    of type ...

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