1 // RUN: %clang_cc1 -fms-compatibility -fsyntax-only -verify %s
2 
3 namespace basic {
4 struct C {
foo2basic::C5   static void foo2() {}
6 };
7 template <typename T>
8 struct A {
9   typedef C D;
10 };
11 
12 template <typename T>
13 struct B : A<T> {
foobasic::B14   void foo() {
15     D::foo2(); // expected-warning {{use of undeclared identifier 'D'; unqualified lookup into dependent bases of class template 'B' is a Microsoft extension}}
16   }
17 };
18 
19 template struct B<int>; // Instantiation has no warnings.
20 }
21 
22 namespace nested_nodep_base {
23 // There are limits to our hacks, MSVC accepts this, but we don't.
24 struct A {
25   struct D { static void foo2(); };
26 };
27 template <typename T>
28 struct B : T {
29   struct C {
foonested_nodep_base::B::C30     void foo() {
31       D::foo2(); // expected-error {{use of undeclared identifier 'D'}}
32     }
33   };
34 };
35 
36 template struct B<A>; // Instantiation has no warnings.
37 }
38 
39 namespace nested_dep_base {
40 // We actually accept this because the inner class has a dependent base even
41 // though it isn't a template.
42 struct A {
43   struct D { static void foo2(); };
44 };
45 template <typename T>
46 struct B {
47   struct C : T {
foonested_dep_base::B::C48     void foo() {
49       D::foo2(); // expected-warning {{use of undeclared identifier 'D'; unqualified lookup into dependent bases of class template 'C' is a Microsoft extension}}
50     }
51   };
52 };
53 
54 template struct B<A>; // Instantiation has no warnings.
55 }
56