1 // RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -verify -std=c++11 %s 2 3 class A { 4 virtual void f(); 5 virtual void g() = 0; // expected-note{{unimplemented pure virtual method 'g' in 'A'}} 6 7 void h() = 0; // expected-error {{'h' is not virtual and cannot be declared pure}} 8 void i() = 1; // expected-error {{initializer on function does not look like a pure-specifier}} 9 void j() = 0u; // expected-error {{initializer on function does not look like a pure-specifier}} 10 11 12 void k(); 13 14 public: 15 A(int); 16 }; 17 18 virtual void A::k() { } // expected-error{{'virtual' can only be specified inside the class definition}} 19 20 class B : public A { 21 // Needs to recognize that overridden function is virtual. 22 void g() = 0; 23 24 // Needs to recognize that function does not override. 25 void g(int) = 0; // expected-error{{'g' is not virtual and cannot be declared pure}} 26 }; 27 28 // Needs to recognize invalid uses of abstract classes. 29 A fn(A) // expected-error{{parameter type 'A' is an abstract class}} \ 30 // expected-error{{return type 'A' is an abstract class}} 31 { 32 A a; // expected-error{{variable type 'A' is an abstract class}} 33 (void)static_cast<A>(0); // expected-error{{allocating an object of abstract class type 'A'}} 34 try { 35 } catch(A) { // expected-error{{variable type 'A' is an abstract class}} 36 } 37 } 38 39 namespace rdar9670557 { 40 typedef int func(int); 41 func *a(); 42 struct X { 43 virtual func f = 0; 44 virtual func (g) = 0; 45 func *h = 0; 46 }; 47 } 48 49 namespace pr8264 { 50 struct Test { 51 virtual virtual void func(); // expected-warning {{duplicate 'virtual' declaration specifier}} 52 }; 53 } 54 55 namespace VirtualFriend { 56 // DR (filed but no number yet): reject meaningless pure-specifier on a friend declaration. 57 struct A { virtual int f(); }; 58 struct B { friend int A::f() = 0; }; // expected-error {{friend declaration cannot have a pure-specifier}} 59 struct C { 60 virtual int f(); 61 friend int C::f() = 0; // expected-error {{friend declaration cannot have a pure-specifier}} 62 }; 63 } 64
