37 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++112namespace Test1 {3 4class A final { }; // expected-note {{'A' declared here}}5class B : A { }; // expected-error {{base 'A' is marked 'final'}}6 7}8 9namespace Test2 {10 11template<typename T> struct A final { }; // expected-note 2 {{'A' declared here}}12struct B : A<int> { }; // expected-error {{base 'A' is marked 'final'}}13 14template<typename T> struct C : A<T> { }; // expected-error {{base 'A' is marked 'final'}}15struct D : C<int> { }; // expected-note {{in instantiation of template class 'Test2::C<int>' requested here}}16 17}18 19namespace Test3 {20 21template<typename T> struct A { };22template<> struct A<int> final { }; // expected-note {{'A' declared here}}23 24struct B : A<bool> { };25struct C : A<int> { }; // expected-error {{base 'A' is marked 'final'}}26 27}28 29namespace Test4 {30 31struct A final { virtual void func() = 0; }; // expected-warning {{abstract class is marked 'final'}} expected-note {{unimplemented pure virtual method 'func' in 'A'}}32struct B { virtual void func() = 0; }; // expected-note {{unimplemented pure virtual method 'func' in 'C'}}33 34struct C final : B { }; // expected-warning {{abstract class is marked 'final'}}35 36}37