Re: c++/8222: [parser] call of member template inside template function

Re: c++/8222: [parser] call of member template inside template function

[lerdsuwa]

Old Synopsis: call of member template inside template function
New Synopsis: [parser] call of member template inside template function

State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Wed Oct 23 05:51:38 2002
State-Changed-Why:
    Confirmed.  Will be fixed when the new parser is in place.

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

Re: c++/8222: [parser] call of member template inside template function

[Giovanni Bajo]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1303 bytes --]

The following reply was made to PR c++/8222; 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>,
	<setzersn@gmx.de>
Cc:  
Subject: Re: c++/8222: [parser] call of member template inside template function
Date: Thu, 1 May 2003 16:38:12 +0200

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8222
 
 Reduced snippet:
 
 ---------------------------
 struct Foo
 {
     template <class>
     void func() {}
 };
 
 template <class>
 void Bar(Foo* p)
 {
     p->func<int>();
 }
 
 int main()
 {
     Foo c;
     Bar<int>(&c);
 }
 ---------------------------
 pr8222.cpp: In function `void Bar(Foo*)':
 pr8222.cpp:10: error: expected primary-expression
 pr8222.cpp:10: error: expected `;'
 
 The obvious workaround is to put the template keyword before func, as in
 "p->template func<int>()". But §14.2p3 [temp.names] specifies that the
 keyword is compulsory only if the postfix-expression is dependent, which is
 not the case in the above snippet. So the above code is legal and should not
 be rejected. This might be a duplicate though, I think I saw a similar
 report somewhere.
 
 Confirmed on every GCC up to mainline 20030430.
 
 Giovanni Bajo