1// RUN: %clang_cc1 -std=c++11 -fexceptions -fcxx-exceptions -fsyntax-only -verify %s 2 3// Assignment of function pointers. 4 5struct A 6{ 7}; 8 9struct B1 : A 10{ 11}; 12 13struct B2 : A 14{ 15}; 16 17struct D : B1, B2 18{ 19}; 20 21struct P : private A 22{ 23}; 24 25// Some functions to play with below. 26void s1() throw(); 27void s2() throw(int); 28void s3() throw(A); 29void s4() throw(B1); 30void s5() throw(D); 31void s6(); 32void s7() throw(int, float); 33void (*s8())() throw(B1); // s8 returns a pointer to function with spec 34void s9(void (*)() throw(B1)); // s9 takes pointer to function with spec 35 36void s10() noexcept; 37void s11() noexcept(true); 38void s12() noexcept(false); 39 40void fnptrs() 41{ 42 // Assignment and initialization of function pointers. 43 void (*t1)() throw() = &s1; // valid 44 t1 = &s2; // expected-error {{not superset}} expected-error {{incompatible type}} 45 t1 = &s3; // expected-error {{not superset}} expected-error {{incompatible type}} 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}} expected-error {{incompatible type}} 52 void (*t5)() = &s1; // valid 53 t5 = &s2; // valid 54 t5 = &s6; // valid 55 t5 = &s7; // valid 56 t1 = t3; // expected-error {{not superset}} expected-error {{incompatible type}} 57 t3 = t1; // valid 58 void (*t6)() throw(B1); 59 t6 = t4; // expected-error {{not superset}} expected-error {{incompatible type}} 60 t4 = t6; // valid 61 t5 = t1; // valid 62 t1 = t5; // expected-error {{not superset}} expected-error {{incompatible type}} 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 75struct Str1 { void f() throw(int); }; // expected-note {{previous declaration}} 76void Str1::f() // expected-error {{missing exception specification}} 77{ 78} 79 80void 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