| 1 | // RUN: %clang_cc1 -std=c++11 -fexceptions -fcxx-exceptions -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | // Assignment of function pointers. |
|---|
| 4 | |
|---|
| 5 | struct A |
|---|
| 6 | { |
|---|
| 7 | }; |
|---|
| 8 | |
|---|
| 9 | struct B1 : A |
|---|
| 10 | { |
|---|
| 11 | }; |
|---|
| 12 | |
|---|
| 13 | struct B2 : A |
|---|
| 14 | { |
|---|
| 15 | }; |
|---|
| 16 | |
|---|
| 17 | struct D : B1, B2 |
|---|
| 18 | { |
|---|
| 19 | }; |
|---|
| 20 | |
|---|
| 21 | struct P : private A |
|---|
| 22 | { |
|---|
| 23 | }; |
|---|
| 24 | |
|---|
| 25 | // Some functions to play with below. |
|---|
| 26 | void s1() throw(); |
|---|
| 27 | void s2() throw(int); |
|---|
| 28 | void s3() throw(A); |
|---|
| 29 | void s4() throw(B1); |
|---|
| 30 | void s5() throw(D); |
|---|
| 31 | void s6(); |
|---|
| 32 | void s7() throw(int, float); |
|---|
| 33 | void (*s8())() throw(B1); // s8 returns a pointer to function with spec |
|---|
| 34 | void s9(void (*)() throw(B1)); // s9 takes pointer to function with spec |
|---|
| 35 | |
|---|
| 36 | void s10() noexcept; |
|---|
| 37 | void s11() noexcept(true); |
|---|
| 38 | void s12() noexcept(false); |
|---|
| 39 | |
|---|
| 40 | void fnptrs() |
|---|
| 41 | { |
|---|
| 42 | // Assignment and initialization of function pointers. |
|---|
| 43 | void (*t1)() throw() = &s1; // valid |
|---|
| 44 | t1 = &s2; // expected-error {{not superset}} |
|---|
| 45 | t1 = &s3; // expected-error {{not superset}} |
|---|
| 46 | void (&t2)() throw() = s2; // expected-error {{not superset}} |
|---|
| 47 | void (*t3)() throw(int) = &s2; // valid |
|---|
| 48 | void (*t4)() throw(A) = &s1; // valid |
|---|
| 49 | t4 = &s3; // valid |
|---|
| 50 | t4 = &s4; // valid |
|---|
| 51 | t4 = &s5; // expected-error {{not superset}} |
|---|
| 52 | void (*t5)() = &s1; // valid |
|---|
| 53 | t5 = &s2; // valid |
|---|
| 54 | t5 = &s6; // valid |
|---|
| 55 | t5 = &s7; // valid |
|---|
| 56 | t1 = t3; // expected-error {{not superset}} |
|---|
| 57 | t3 = t1; // valid |
|---|
| 58 | void (*t6)() throw(B1); |
|---|
| 59 | t6 = t4; // expected-error {{not superset}} |
|---|
| 60 | t4 = t6; // valid |
|---|
| 61 | t5 = t1; // valid |
|---|
| 62 | t1 = t5; // expected-error {{not superset}} |
|---|
| 63 | |
|---|
| 64 | // return types and arguments must match exactly, no inheritance allowed |
|---|
| 65 | void (*(*t7)())() throw(B1) = &s8; // valid |
|---|
| 66 | void (*(*t8)())() throw(A) = &s8; // expected-error {{return types differ}} |
|---|
| 67 | void (*(*t9)())() throw(D) = &s8; // expected-error {{return types differ}} |
|---|
| 68 | void (*t10)(void (*)() throw(B1)) = &s9; // valid |
|---|
| 69 | void (*t11)(void (*)() throw(A)) = &s9; // expected-error {{argument types differ}} |
|---|
| 70 | void (*t12)(void (*)() throw(D)) = &s9; // expected-error {{argument types differ}} |
|---|
| 71 | } |
|---|
| 72 | |
|---|
| 73 | // Member function stuff |
|---|
| 74 | |
|---|
| 75 | struct Str1 { void f() throw(int); }; // expected-note {{previous declaration}} |
|---|
| 76 | void Str1::f() // expected-error {{missing exception specification}} |
|---|
| 77 | { |
|---|
| 78 | } |
|---|
| 79 | |
|---|
| 80 | void mfnptr() |
|---|
| 81 | { |
|---|
| 82 | void (Str1::*pfn1)() throw(int) = &Str1::f; // valid |
|---|
| 83 | void (Str1::*pfn2)() = &Str1::f; // valid |
|---|
| 84 | void (Str1::*pfn3)() throw() = &Str1::f; // expected-error {{not superset}} |
|---|
| 85 | } |
|---|
| 86 | |
|---|