1 // RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s 2 3 namespace Test1 { 4 5 struct B { 6 virtual void f(int); 7 }; 8 9 struct D : B { 10 virtual void f(long) override; // expected-error {{'f' marked 'override' but does not override any member functions}} 11 void f(int) override; 12 }; 13 } 14 15 namespace Test2 { 16 17 struct A { 18 virtual void f(int, char, int); 19 }; 20 21 template<typename T> 22 struct B : A { 23 // FIXME: Diagnose this. 24 virtual void f(T) override; 25 }; 26 27 template<typename T> 28 struct C : A { 29 virtual void f(int) override; // expected-error {{does not override}} 30 }; 31 32 } 33 34 namespace Test3 { 35 36 struct A { 37 virtual void f(int, char, int); 38 }; 39 40 template<typename... Args> 41 struct B : A { 42 virtual void f(Args...) override; // expected-error {{'f' marked 'override' but does not override any member functions}} 43 }; 44 45 template struct B<int, char, int>; 46 template struct B<int>; // expected-note {{in instantiation of template class 'Test3::B<int>' requested here}} 47 48 } 49 50 namespace Test4 { 51 struct B { 52 virtual void f() const final; // expected-note {{overridden virtual function is here}} 53 }; 54 55 struct D : B { 56 void f() const; // expected-error {{declaration of 'f' overrides a 'final' function}} 57 }; 58 59 } 60 61 namespace PR13499 { 62 struct X { 63 virtual void f(); 64 virtual void h(); 65 }; 66 template<typename T> struct A : X { 67 void f() override; 68 void h() final; 69 }; 70 template<typename T> struct B : X { 71 void g() override; // expected-error {{only virtual member functions can be marked 'override'}} 72 void i() final; // expected-error {{only virtual member functions can be marked 'final'}} 73 }; 74 B<int> b; // no-note 75 template<typename T> struct C : T { 76 void g() override; 77 void i() final; 78 }; 79 template<typename T> struct D : X { 80 virtual void g() override; // expected-error {{does not override}} 81 virtual void i() final; 82 }; 83 template<typename...T> struct E : X { 84 void f(T...) override; 85 void g(T...) override; // expected-error {{only virtual member functions can be marked 'override'}} 86 void h(T...) final; 87 void i(T...) final; // expected-error {{only virtual member functions can be marked 'final'}} 88 }; 89 // FIXME: Diagnose these in the template definition, not in the instantiation. 90 E<> e; // expected-note {{in instantiation of}} 91 92 template<typename T> struct Y : T { 93 void f() override; 94 void h() final; 95 }; 96 template<typename T> struct Z : T { 97 void g() override; // expected-error {{only virtual member functions can be marked 'override'}} 98 void i() final; // expected-error {{only virtual member functions can be marked 'final'}} 99 }; 100 Y<X> y; 101 Z<X> z; // expected-note {{in instantiation of}} 102 } 103 104 namespace MemberOfUnknownSpecialization { 105 template<typename T> struct A { 106 struct B {}; 107 struct C : B { 108 void f() override; 109 }; 110 }; 111 112 template<> struct A<int>::B { 113 virtual void f(); 114 }; 115 // ok 116 A<int>::C c1; 117 118 template<> struct A<char>::B { 119 void f(); 120 }; 121 // expected-error@-13 {{only virtual member functions can be marked 'override'}} 122 // expected-note@+1 {{in instantiation of}} 123 A<char>::C c2; 124 125 template<> struct A<double>::B { 126 virtual void f() final; 127 }; 128 // expected-error@-20 {{declaration of 'f' overrides a 'final' function}} 129 // expected-note@-3 {{here}} 130 // expected-note@+1 {{in instantiation of}} 131 A<double>::C c3; 132 } 133
