summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/init/elide1.C
blob: 24e81e387e55d35ca60d529e26aef503abd4ff41 (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
// { dg-do run }

// Test that the destructor for a temporary passed by value isn't run
// until end of full-expression, as per [class.copy]:

// Whenever a temporary class object is copied using a copy  constructor,
// and  this  object  and  the copy have the same cv-unqualified type, an
// implementation is permitted to treat the original and the copy as  two
// different  ways of referring to the same object and not perform a copy
// at all, even if the class copy constructor  or  destructor  have  side
// effects....                                       In these cases,  the
// object  is  destroyed  at the later of times when the original and the
// copy would have been destroyed without the optimization.

// Here, the temporary would be destroyed later than the parm, so either we
// must suppress the optimization in this case or destroy value parms in the
// caller.

int d;

struct A {
  A () { }
  A (const A&) { }
  ~A() { ++d; }
};

void f (A a) { }

int main ()
{
  int r;
  f (A ()), r = d;

  if (r < d && d)
    return 0;
  else
    return 1;
}