gcc/testsuite/g++.dg/eh/scope1.C


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
60
61
62
63
64
65
66
67
68
69
70
71

// Test that we've scoped the destructor properly for variables declared
// in a conditional.
// { dg-do run }

extern "C" void abort ();

class C
{
  bool live;
 public:
  C();
  C(const C &);
  ~C ();
  operator bool() const;
};

void f1 ()
{
  while (C br = C()) abort ();
}

void f2 ()
{
  for (; C br = C(); ) abort ();
}

void f3 ()
{
  if (C br = C()) abort ();
}

void f4 ()
{
  switch (C br = C()) /* { dg-warning "switch condition has" } */
    {
    default:
      abort ();
    case false:
      break;
    }
}

int main()
{
  f1(); f2(); f3(); f4();
  return 0;
}

C::C()
{
  live = true;
}

C::C(const C &o)
{
  if (!o.live)
    abort ();
  live = true;
}

C::~C()
{
  live = false;
}

C::operator bool() const
{
  if (!live)
    abort ();
  return false;
}