1 // RUN: %clang_cc1 -std=c++17 -fms-compatibility -fsyntax-only -verify=before,expected %s
2 // RUN: %clang_cc1 -std=c++17 -fms-compatibility -fdelayed-template-parsing -fsyntax-only -verify=before,expected %s
3 // RUN: %clang_cc1 -std=c++20 -fms-compatibility -fsyntax-only -verify=after,expected %s
4 // RUN: %clang_cc1 -std=c++20 -fms-compatibility -fdelayed-template-parsing -fsyntax-only -verify=after,expected %s
5
6 template <class T>
7 class Base {
8 };
9
10 template <class T>
11 class Based {}; // Trying to trick the typo detection
12
13 template <class T>
14 class Derived : public Base<T> {
15 public:
16 // after-error@+1 {{member initializer 'Base' does not name a non-static data member or base class}}
Derived()17 Derived() : Base() {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}
18 private:
19 int Baze; // Trying to trick the typo detection
20 };
21
22 template <class T> struct AggregateBase {
23 T i;
24 };
25
26 template <class T>
27 struct AggregateDerived : public AggregateBase<T> {
28 int i;
29
30 // after-error@+1 {{member initializer 'AggregateBase' does not name a non-static data member or base class}}
AggregateDerivedAggregateDerived31 AggregateDerived(T j) : AggregateBase{4}, i{j} {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}
fAggregateDerived32 int f() {
33 return i + AggregateBase::i; // expected-warning {{use of undeclared identifier 'AggregateBase'; unqualified lookup into dependent bases of class template 'AggregateDerived' is a Microsoft extension}}
34 }
35 };
36
37 template <class T, typename U> struct MultiTypesBase {
38 };
39
40 template <class T, class U>
41 struct MultiTypesDerived : public MultiTypesBase<T, U> {
42 // after-error@+1 {{member initializer 'MultiTypesBase' does not name a non-static data member or base class}}
MultiTypesDerivedMultiTypesDerived43 MultiTypesDerived() : MultiTypesBase{} {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}
44 };
45
46 template <int I> struct IntegerBase {
47 };
48
49 template <int I>
50 struct IntegerDerived : public IntegerBase<I> {
51 // after-error@+1 {{member initializer 'IntegerBase' does not name a non-static data member or base class}}
IntegerDerivedIntegerDerived52 IntegerDerived() : IntegerBase{} {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}
53 };
54
55 template <class T> struct ConformingBase {
56 T i;
57 };
58
59 template <class T>
60 struct ConformingDerived : public ConformingBase<T> {
61 int i;
62
ConformingDerivedConformingDerived63 ConformingDerived(T j) : ConformingBase<T>{4}, i{j} {}
fConformingDerived64 int f() {
65 return i + ConformingBase<T>::i;
66 }
67 };
68
main()69 int main() {
70 int I;
71 Derived<int> t;
72
73 AggregateDerived<int> AD{2};
74 AD.AggregateBase::i = 3;
75 I = AD.f();
76
77 MultiTypesDerived<int, double> MTD;
78
79 IntegerDerived<4> ID;
80
81 ConformingDerived<int> CD{2};
82 I = CD.f();
83
84 return I;
85 }
86
87 template <typename Type, int TSize> class Vec {}; // expected-note {{template is declared here}}
88
89 template <int TDim> class Index : public Vec<int, TDim> {
90 // after-error@+1 {{member initializer 'Vec' does not name a non-static data member or base class}}
Index()91 Index() : Vec() {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}
92 };
93
94 template class Index<0>;
95
96 template <typename T> class Array : public Vec<T, 4> {
97 // after-error@+1 {{member initializer 'Vec' does not name a non-static data member or base class}}
Array()98 Array() : Vec() {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}
99 };
100
101 template class Array<double>;
102
103 template <typename T> class Wrong : public Vec<T, 4> {
Wrong()104 Wrong() : NonExistent() {} // expected-error {{member initializer 'NonExistent' does not name a non-static data member or base class}}
105 };
106
107 template class Wrong<double>;
108
109 template <typename T> class Wrong2 : public Vec<T, 4> {
Wrong2()110 Wrong2() : Vec<T>() {} // expected-error {{too few template arguments for class template 'Vec'}}
111 };
112
113 template class Wrong2<double>;
114
115 template <typename T> class Wrong3 : public Vec<T, 4> {
Wrong3()116 Wrong3() : Base() {} // expected-error {{member initializer 'Base' does not name a non-static data member or base class}}
117 };
118
119 template class Wrong3<double>;
120