From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-31533-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 22006 invoked by alias); 19 Mar 2003 12:46:01 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 21992 invoked by uid 71); 19 Mar 2003 12:46:01 -0000
Date: Wed, 19 Mar 2003 12:46:00 -0000
Message-ID: <20030319124601.21950.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Gabriel Dos Reis <gdr@integrable-solutions.net>
Subject: Re: c++/10146: [3.4 regression] [new parser] template function lookup failure(s)
Reply-To: Gabriel Dos Reis <gdr@integrable-solutions.net>
X-SW-Source: 2003-03/txt/msg01263.txt.bz2
List-Id: <gcc-prs.sourceware.org>

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

From: Gabriel Dos Reis <gdr@integrable-solutions.net>
To: Richard Guenther <rguenth@tat.physik.uni-tuebingen.de>
Cc: Giovanni Bajo <giovannibajo@libero.it>, <gcc-gnats@gcc.gnu.org>,
   <gcc-bugs@gcc.gnu.org>
Subject: Re: c++/10146: [3.4 regression] [new parser] template function lookup failure(s)
Date: 19 Mar 2003 13:40:44 +0100

 Richard Guenther <rguenth@tat.physik.uni-tuebingen.de> writes:
 
 | On 19 Mar 2003, Gabriel Dos Reis wrote:
 | 
 | > Richard Guenther <rguenth@tat.physik.uni-tuebingen.de> writes:
 | >
 | > | On Wed, 19 Mar 2003, Giovanni Bajo wrote:
 | > |
 | > | >
 | > | > http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p
 | > | > r=10146
 | > | >
 | > | > To sum it up:
 | > | >
 | > | > >Foo<int>().template foo<U>(u); // does not work
 | > | > >Foo<int>().template bar<U>(u); // does not work
 | > | >
 | > | > These should compile.
 | > | >
 | > | > >Foo<int>().foo(u);             // does work ??
 | > | > >Foo<int>::foo(u);              // does work ??
 | > | > >Foo<int>().bar(u);             // does work ??
 | > | >
 | > | > Yes, because the template parameter of the template member function is
 | > | > deduced from the call. What's wrong with them?
 | > |
 | > | I think foo() and bar() needs to be qualified with the template keyword
 | > | due to two-stage namelookup. But I may be wrong (dont have a standard
 | > | to look at).
 | >
 | > Two-phase name lookup has nothing to do here.  The Foo<int> part is
 | > -not- dependent, therefore there need not be any extra "template"
 | > qualifier.
 | 
 | Ah, ok - only for Foo<T>:: it would be dependent, yes?
 
 Yes.  (Any dependent expression would do also).
 
 -- Gaby