From 2b154f41f215b5b39bfb6f19854ee792fbea1520 Mon Sep 17 00:00:00 2001 From: Douglas Gregor Date: Tue, 23 Jun 2009 15:45:29 +0000 Subject: Add a test illustrating our current inability to properly cope with the point of instantation of a member function of a class template specialization llvm-svn: 73956 --- .../temp/temp.res/temp.dep.res/temp.point/p1.cpp | 32 ++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 clang/test/CXX/temp/temp.res/temp.dep.res/temp.point/p1.cpp (limited to 'clang/test') diff --git a/clang/test/CXX/temp/temp.res/temp.dep.res/temp.point/p1.cpp b/clang/test/CXX/temp/temp.res/temp.dep.res/temp.point/p1.cpp new file mode 100644 index 00000000000..650501069cc --- /dev/null +++ b/clang/test/CXX/temp/temp.res/temp.dep.res/temp.point/p1.cpp @@ -0,0 +1,32 @@ +// RUN: clang-cc -fsyntax-only -verify %s +// XFAIL + +// Note: we fail this test because we perform template instantiation +// at the end of the translation unit, so argument-dependent lookup +// finds functions that occur after the point of instantiation. Note +// that GCC fails this test; EDG passes the test in strict mode, but +// not in relaxed mode. +namespace N { + struct A { }; + struct B : public A { }; + + int& f0(A&); +} + +template +struct X0 { + void test_f0(T t) { + Result r = f0(t); + }; +}; + +void test_f0() { + X0 xA; + xA.test_f0(N::A()); + X0 xB; + xB.test_f0(N::B()); +} + +namespace N { + char& f0(B&); +} -- cgit v1.2.3