| // RUN: %clang_cc1 -std=c++11 -fexceptions -fcxx-exceptions -fsyntax-only -verify %s |
| |
| // Tests where specs are allowed and where they aren't. |
| |
| namespace dyn { |
| |
| // Straight from the standard: |
| |
| // Plain function with spec |
| void f() throw(int); |
| |
| // Pointer to function with spec |
| void (*fp)() throw (int); |
| |
| // Function taking reference to function with spec |
| void g(void pfa() throw(int)); |
| |
| // Typedef for pointer to function with spec |
| typedef int (*pf)() throw(int); // expected-error {{specifications are not allowed in typedefs}} |
| |
| // Some more: |
| |
| // Function returning function with spec |
| void (*h())() throw(int); |
| |
| // Ultimate parser thrill: function with spec returning function with spec and |
| // taking pointer to function with spec. |
| // The actual function throws int, the return type double, the argument float. |
| void (*i() throw(int))(void (*)() throw(float)) throw(double); |
| |
| // Pointer to pointer to function taking function with spec |
| void (**k)(void pfa() throw(int)); // no-error |
| |
| // Pointer to pointer to function with spec |
| void (**j)() throw(int); // expected-error {{not allowed beyond a single}} |
| |
| // Pointer to function returning pointer to pointer to function with spec |
| void (**(*h())())() throw(int); // expected-error {{not allowed beyond a single}} |
| |
| // FIXME: Missing a lot of negative tests, primarily type-ids in various places |
| // We fail to diagnose all of those. |
| } |
| |
| namespace noex { |
| |
| // These parallel those from above. |
| |
| void f() noexcept(false); |
| |
| void (*fp)() noexcept(false); |
| |
| void g(void pfa() noexcept(false)); |
| |
| typedef int (*pf)() noexcept(false); // expected-error {{specifications are not allowed in typedefs}} |
| |
| void (*h())() noexcept(false); |
| |
| void (*i() noexcept(false))(void (*)() noexcept(true)) noexcept(false); |
| |
| void (**k)(void pfa() noexcept(false)); // no-error |
| |
| void (**j)() noexcept(false); // expected-error {{not allowed beyond a single}} |
| |
| void (**(*h())())() noexcept(false); // expected-error {{not allowed beyond a single}} |
| } |