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;
}
|
