From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-66806-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6906 invoked by alias); 6 Aug 2003 09:18:55 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
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
Received: (qmail 6899 invoked by uid 48); 6 Aug 2003 09:18:54 -0000
Date: Wed, 06 Aug 2003 09:18:00 -0000
From: "benko at sztaki dot hu" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Message-ID: <20030806091852.11828.benko@sztaki.hu>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug c++/11828] New: [3.4 regression] qualified dependent name looked up too early
X-Bugzilla-Reason: CC
X-SW-Source: 2003-08/txt/msg00863.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: [3.4 regression] qualified dependent name looked up too
                    early
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: benko at sztaki dot hu
                CC: gcc-bugs at gcc dot gnu dot org

hydra:~/c/proba$ cat templ_overload.cc
namespace n
{
  template <typename T>
  void
  f(T a)
  {
    a.f();
  }

  template <typename T>
  void
  g(T a)
  {
    n::f(a);
  }
}

struct s
{};

namespace n
{
  void
  f(s)
  {}
}

int
main()
{
  n::g(s());

  return 0;
}
hydra:~/c/proba$ g++-cvs templ_overload.cc
templ_overload.cc: In function `void n::f(T) [with T = s]':
templ_overload.cc:14:   instantiated from `void n::g(T) [with T = s]'
templ_overload.cc:31:   instantiated from here
templ_overload.cc:7: error: 'struct s' has no member named 'f'
zsh: exit 1     g++-cvs templ_overload.cc
hydra:~/c/proba$ g++-cvs -v
Reading specs from /gml/shared/gcc-cvs/lib/gcc/i686-pc-linux-gnu/3.4/specs
Configured with: ../gcc/configure --prefix=/gml/shared/gcc-cvs
--enable-languages=c++
Thread model: posix
gcc version 3.4 20030806 (experimental)
hydra:~/c/proba$ g++3 templ_overload.cc
hydra:~/c/proba$ g++3 -v
Reading specs from /gml/shared/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/specs
Configured with: ../gcc-3.3/configure --prefix=/gml/shared/gcc-3.3
Thread model: posix
gcc version 3.3
hydra:~/c/proba$ 

workarounds:
1. unqualify f in the definition of g.
   I cannot do this, because in real life n=std, f=iter_swap, g=reverse.
2. Move the definition of the overload for f before the definition of g.