From 3d83e33e5f7ee7ff02df8fcde8e1514a01e5d20a Mon Sep 17 00:00:00 2001
From: Nathanael Nerode <neroden@gcc.gnu.org>
Date: Wed, 1 Jan 2003 20:36:49 +0000
Subject: g++.dg/lookup/template1.C: New test.

From-SVN: r60761
---
 gcc/testsuite/ChangeLog                 |  2 ++
 gcc/testsuite/g++.dg/lookup/template1.C | 23 +++++++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/lookup/template1.C

(limited to 'gcc')

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7ea5b6f..a9fff08 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
 2003-01-01  Nathanael Nerode  <neroden@gcc.gnu.org>
 
+	g++.dg/lookup/template1.C: New test.
+
 	g++.dg/parse/namespace2.C: New test.
 
 	g++.dg/parse/parens2.C: New test.
diff --git a/gcc/testsuite/g++.dg/lookup/template1.C b/gcc/testsuite/g++.dg/lookup/template1.C
new file mode 100644
index 0000000..44b599a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lookup/template1.C
@@ -0,0 +1,23 @@
+/* PR c++/3009 */
+/* { dg-do run } */
+// According to 14.6.2.4 of C++ Standard:
+// "If a base class is a dependent type, a member of that
+// class cannot hide a name declared within a template, or a
+// name from the template's enclosing scopes."
+ 
+class B {
+public:
+  int foo() { return 1; }
+};
+ 
+int foo() { return 0; }
+ 
+template <class T> class C : public T {
+public:
+  int caller() { return foo(); } // This must be ::foo, not B::foo.
+};
+
+int main() {
+  C<B> c;
+  return c.caller(); // Returns 1 if we got the wrong one.
+}
-- 
cgit v1.1