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