Re: c++/7019: erroneous failure to compile

Re: c++/7019: erroneous failure to compile

[abrahams]

Synopsis: erroneous failure to compile

State-Changed-From-To: closed->open
State-Changed-By: abrahams
State-Changed-When: Wed Jul  3 13:19:20 2002
State-Changed-Why:
    It's not a mistake. See 14.8.2/2. A type deduction failure is not an error; it just causes the function not to be considered for overload resolution

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

Re: c++/7019: erroneous failure to compile

[nathan]

Synopsis: erroneous failure to compile

State-Changed-From-To: open->analyzed
State-Changed-By: nathan
State-Changed-When: Sat Sep 14 14:56:41 2002
State-Changed-Why:
    confirmed. 

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

Re: c++/7019: erroneous failure to compile

[nathan]

Synopsis: erroneous failure to compile

State-Changed-From-To: open->closed
State-Changed-By: nathan
State-Changed-When: Wed Jul  3 12:49:59 2002
State-Changed-Why:
    not a bug. You are attempting to form int::member

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

c++/7019: erroneous failure to compile

[david.abrahams]

>Number:         7019
>Category:       c++
>Synopsis:       erroneous failure to compile
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Jun 13 08:36:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     david.abrahams@rcn.com
>Release:        gcc-3.1
>Organization:
>Environment:
Cygwin
>Description:
compile the code below
>How-To-Repeat:
template <class T, int (T::*)> struct foo;

template <class T>
int f(foo<T,&T::ob_type>*);

template <class T>
char* f(...);

struct X { int ob_type; };
struct Y { char* ob_type; };
  int x = f<X>(0);
char* y = f<Y>(0);
char* z = f<int>(0);

int main() { return 0; }
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: