66 lines · cpp
1// RUN: %clang_cc1 -std=c++11 -fexceptions -fcxx-exceptions -fsyntax-only -verify %s2 3// Tests where specs are allowed and where they aren't.4 5namespace dyn {6 7 // Straight from the standard:8 9 // Plain function with spec10 void f() throw(int);11 12 // Pointer to function with spec13 void (*fp)() throw (int);14 15 // Function taking reference to function with spec16 void g(void pfa() throw(int));17 18 // Typedef for pointer to function with spec19 typedef int (*pf)() throw(int); // expected-error {{specifications are not allowed in typedefs}}20 21 // Some more:22 23 // Function returning function with spec24 void (*h())() throw(int);25 26 // Ultimate parser thrill: function with spec returning function with spec and27 // taking pointer to function with spec.28 // The actual function throws int, the return type double, the argument float.29 void (*i() throw(int))(void (*)() throw(float)) throw(double);30 31 // Pointer to pointer to function taking function with spec32 void (**k)(void pfa() throw(int)); // no-error33 34 // Pointer to pointer to function with spec35 void (**j)() throw(int); // expected-error {{not allowed beyond a single}}36 37 // Pointer to function returning pointer to pointer to function with spec38 void (**(*h())())() throw(int); // expected-error {{not allowed beyond a single}}39 40 // FIXME: Missing a lot of negative tests, primarily type-ids in various places41 // We fail to diagnose all of those.42}43 44namespace noex {45 46 // These parallel those from above.47 48 void f() noexcept(false);49 50 void (*fp)() noexcept(false);51 52 void g(void pfa() noexcept(false));53 54 typedef int (*pf)() noexcept(false); // expected-error {{specifications are not allowed in typedefs}}55 56 void (*h())() noexcept(false);57 58 void (*i() noexcept(false))(void (*)() noexcept(true)) noexcept(false);59 60 void (**k)(void pfa() noexcept(false)); // no-error61 62 void (**j)() noexcept(false); // expected-error {{not allowed beyond a single}}63 64 void (**(*h())())() noexcept(false); // expected-error {{not allowed beyond a single}}65}66