blob: 54e04f3d02d8af61e68fa0ea94b2a0d23a2c97e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// 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" }
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_terminate (my_terminate);
// noexcept(noexcept(int())) == noexcept(true).
try { f2(1); } catch (...) { }
return 1;
}
|
