Subversion Repositories openrisc

// Test for noexcept-specification

// { dg-options "-std=c++0x" }

#define SA(X) static_assert(X, #X)

void f();

void f() noexcept(false);

void f() noexcept(1 == 0);

void f();

SA(!noexcept(f()));

void g() throw (int);           // { dg-error "previous declaration" }

void g() noexcept(false);       // { dg-error "different exception" }

void g();

void h() throw();

void h() noexcept;

void h() throw();

void h() noexcept;

template 

void g (T) noexcept(noexcept(T())); // { dg-error "previous declaration" }

template 

void g (T) noexcept(noexcept(T(0))); // { dg-error "different exception" }

template 

void f (T) noexcept(noexcept(T()) && noexcept(T()));

template 

void f (T) noexcept(noexcept(T()) && noexcept(T()));

template 

void f2(T a) noexcept (noexcept (f (a)));

struct A { A(); };

SA(noexcept(f(1)));

SA(!noexcept(f(A())));

SA(noexcept(f2(1)));

SA(!noexcept(f2(A())));

template 

void f3(Ts... ts) noexcept (noexcept (f(ts...)));

SA(noexcept(f3(1)));

SA(!noexcept(f3(A())));

template 

void f (T1, T2) noexcept(noexcept(T1(), T2()));

struct B { };

SA(noexcept(f3(1,B())));

SA(!noexcept(f3(1,A())));

SA(!noexcept(f3(A(),1)));

SA(!noexcept(f3(A(),A())));