From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-105626-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 22685 invoked by alias); 3 Aug 2004 14:31:41 -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 22667 invoked by uid 48); 3 Aug 2004 14:31:40 -0000
Date: Tue, 03 Aug 2004 14:31:00 -0000
Message-ID: <20040803143140.22666.qmail@sourceware.org>
From: "boris at kolpackov dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20040106205426.13590.boris@kolpackov.net>
References: <20040106205426.13590.boris@kolpackov.net>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug c++/13590] [3.3/3.4/3.5 regression] [DR39] Non-existing ambiguity when inhering through virtuals two identical using declarations.
X-Bugzilla-Reason: CC
X-SW-Source: 2004-08/txt/msg00206.txt.bz2
List-Id: <gcc-bugs.sourceware.org>


------- Additional Comments From boris at kolpackov dot net  2004-08-03 14:31 -------
Just found a non-academic example when this really hurts:

template<typename x>
struct base
{
  void f ();
};


template <typename x>
struct a : virtual base<x>
{
  using base<x>::f;  // which f

  void g ()
  {
    f ();
  }
};

template <typename x>
struct b : virtual base<x>
{
  using base<x>::f; // which f

  void g ()
  {
    f ();
  }
};

struct c : a<int>, b<int> {};

void
f ()
{
  c c_;
  c_.f ();
}

Here I use using-declaration to hind the compiler which f() I am using since it
does not depend on template parameter in any way. The result - call to c_.f ()
is ambiguous - IMO, is ridiculous.


-- 


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