summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/opt/eh4.C
blob: 0a62ee2db272259bd3ef700cd987366defa2392c (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
52
53
54
55
56
57
58
59
// { dg-do run }
// { dg-options "-O3" }

// Make sure that the call to terminate within F2 is not eliminated
// by incorrect MUST_NOT_THROW optimization.  Note that we expect F1
// to be inlined into F2 in order to expose this case.

#include <cstdlib>
#include <exception>

static volatile int zero = 0;

// Note that we need F0 to not be marked nothrow, though we don't actually
// want a throw to happen at runtime here.  The noinline tag is merely to
// make sure the assembly in F0 is not unnecessarily complex.
static void __attribute__((noinline)) f0()
{
  if (zero != 0)
    throw 0;
}

struct S1
{
  S1() { }
  ~S1() { f0(); }
};

static void f1()
{
  S1 s1;
  throw 1;
}

struct S2
{
  S2() { }
  ~S2() { f1(); }
};

static void __attribute__((noinline)) f2()
{
  S2 s2;
  throw 2;
}

static void pass()
{
  exit (0);
}

int main()
{
  std::set_terminate (pass);
  try {
    f2();
  } catch (...) {
  }
  abort ();
}