PR c++/14143

	* g++.dg/template/koenig5.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@78288 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a69f71e..a941126 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-02-23  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+       PR c++/14143
+       * g++.dg/template/koenig5.C: New test.
+
 2004-02-21  Ziemowit Laski  <zlaski@apple.com>
 
        * g++.dg/ext/altivec-1.C: Generalize target triple.

diff --git a/gcc/testsuite/g++.dg/template/koenig5.C b/gcc/testsuite/g++.dg/template/koenig5.C
new file mode 100644 (file)
index 0000000..d54bb75
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/koenig5.C
@@ -0,0 +1,32 @@
+// { dg-do compile }
+// Contributed by David Abrahams <dave at boost-consulting dot com>
+// PR c++/14143: Koenig lookup should only look into template arguments only 
+//  if the argument is a template-id.
+
+namespace fu
+{
+  template <class T>
+  struct bar
+  {
+      struct baz {};
+  };
+}
+
+namespace axe
+{
+  struct handle {};
+  
+  template <class T>
+  char* f(T&);
+}
+
+namespace test
+{
+  template <class T>
+  int f(T const&);
+  
+  template <class T>
+  int g(T x) { return f(x); }
+  
+  int x = g(fu::bar<axe::handle>::baz());
+}