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
k()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.
fn(A)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