Fix an assertion failure / accepts-invalid in -fms-extensions mode. Don't build
a dependent-scope id expression when a templated member function of a
non-templated class references an unknown identifier, since instantiation won't
rebuild it (and we can tell at parse time that it'll never work). Based on a
patch by Faisal Vali!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180701 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/SemaTemplate/ms-lookup-template-base-classes.cpp b/test/SemaTemplate/ms-lookup-template-base-classes.cpp
index 8f80cb5..cb1a7f5 100644
--- a/test/SemaTemplate/ms-lookup-template-base-classes.cpp
+++ b/test/SemaTemplate/ms-lookup-template-base-classes.cpp
@@ -8,7 +8,6 @@
void g();// expected-note {{must qualify identifier to find this declaration in dependent base class}}
};
-
template <class T>
class B : public A<T> {
public:
@@ -28,6 +27,31 @@
b.z(3);
}
+struct A2 {
+ template<class T> void f(T) {
+ XX; //expected-error {{use of undeclared identifier 'XX'}}
+ A2::XX; //expected-error {{no member named 'XX' in 'A2'}}
+ }
+};
+template void A2::f(int);
+
+template<class T0>
+struct A3 {
+ template<class T1> void f(T1) {
+ XX; //expected-error {{use of undeclared identifier 'XX'}}
+ }
+};
+template void A3<int>::f(int);
+
+template<class T0>
+struct A4 {
+ void f(char) {
+ XX; //expected-error {{use of undeclared identifier 'XX'}}
+ }
+};
+template class A4<int>;
+
+
namespace lookup_dependent_bases_id_expr {
template<class T> class A {