gcc/testsuite/g++.dg/cpp0x/noexcept03.C

// Runtime test for noexcept-specification.
// { dg-options "-std=c++0x -Wnoexcept" }
// { dg-do run }

#include <exception>
#include <cstdlib>

void my_terminate ()
{
  std::exit (0);
}

void my_unexpected ()
{
  throw;
}

void g() { throw 1; }
void (*p)() = g;
void f () noexcept (false)
{
  p();
}

template <class T>
void f(T) noexcept (noexcept (T())) // { dg-warning "false" }
{
  p();
}

template <class T>
void f2(T a) noexcept (noexcept (f (a)))
{
  f(a);
}

struct A { A() { } };		// { dg-warning "does not throw" }

// throw(int) overrides noexcept(false) in either order.
void h() throw (int, std::bad_exception);
void h() noexcept (false)
{
  throw 1.0;
}

void i() noexcept (false);
void i() throw (int, std::bad_exception)
{
  throw 1.0;
}

int main()
{
  // noexcept(false) allows throw.
  try { f(); } catch (int) { }
  // noexcept(noexcept(A())) == noexcept(false).
  try { f(A()); } catch (int) { }
  try { f2(A()); } catch (int) { }

  std::set_unexpected (my_unexpected);
  try { h(); } catch (std::bad_exception) { }
  try { i(); } catch (std::bad_exception) { }

  std::set_terminate (my_terminate);
  // noexcept(noexcept(int())) == noexcept(true).
  try { f2(1); } catch (...) { }
  return 1;
}