From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-368249-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 13682 invoked by alias); 21 Sep 2011 06:44:28 -0000
Received: (qmail 13670 invoked by uid 22791); 21 Sep 2011 06:44:27 -0000
X-SWARE-Spam-Status: No, hits=-2.9 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00
X-Spam-Check-By: sourceware.org
Received: from localhost (HELO gcc.gnu.org) (127.0.0.1)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 21 Sep 2011 06:43:36 +0000
From: "zoltan at epochcapital dot com.au" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/50471] Qualified lookup fails to find template function
Date: Wed, 21 Sep 2011 07:35:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: zoltan at epochcapital dot com.au
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-50471-4-552yufCkWw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-50471-4@http.gcc.gnu.org/bugzilla/>
References: <bug-50471-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2011-09/txt/msg01426.txt.bz2

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50471

--- Comment #4 from Zoltan Glozik <zoltan at epochcapital dot com.au> 2011-09-21 06:43:29 UTC ---
(In reply to comment #3)
>     NS::f(t);
> Binds at the point at definition because it is qualified.
>     f(t);
> Does not bind and then does argument dependent lookup (ADL) at instantiation
> time.

Thanks. According to the C++ spec I have the lookup of names dependent on the
template parameters is postponed until the actual template argument is known,
and in this case NS::f() is dependent on a template argument, so I would think
the lookup would be delayed till instantiation. Can you please point me to the
paragraph in the standard that says qualified names bind at definition even if
they depend on a template argument.