// { dg-do run }
|
// { dg-do run }
|
|
|
// Test that the destructor for a temporary passed by value isn't run
|
// Test that the destructor for a temporary passed by value isn't run
|
// until end of full-expression, as per [class.copy]:
|
// until end of full-expression, as per [class.copy]:
|
|
|
// Whenever a temporary class object is copied using a copy constructor,
|
// Whenever a temporary class object is copied using a copy constructor,
|
// and this object and the copy have the same cv-unqualified type, an
|
// 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
|
// 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
|
// 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
|
// at all, even if the class copy constructor or destructor have side
|
// effects.... In these cases, the
|
// effects.... In these cases, the
|
// object is destroyed at the later of times when the original and the
|
// object is destroyed at the later of times when the original and the
|
// copy would have been destroyed without the optimization.
|
// copy would have been destroyed without the optimization.
|
|
|
// Here, the temporary would be destroyed later than the parm, so either we
|
// 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
|
// must suppress the optimization in this case or destroy value parms in the
|
// caller.
|
// caller.
|
|
|
int d;
|
int d;
|
|
|
struct A {
|
struct A {
|
A () { }
|
A () { }
|
A (const A&) { }
|
A (const A&) { }
|
~A() { ++d; }
|
~A() { ++d; }
|
};
|
};
|
|
|
void f (A a) { }
|
void f (A a) { }
|
|
|
int main ()
|
int main ()
|
{
|
{
|
int r;
|
int r;
|
f (A ()), r = d;
|
f (A ()), r = d;
|
|
|
if (r < d && d)
|
if (r < d && d)
|
return 0;
|
return 0;
|
else
|
else
|
return 1;
|
return 1;
|
}
|
}
|
|
|