27 lines
489 B
C
27 lines
489 B
C
// { dg-do run }
|
|
// Origin: Giovanni Bajo <giovannibajo at gcc dot gnu dot org>
|
|
// DR185: "Named" temporaries and copy elision
|
|
|
|
extern "C" void abort(void);
|
|
|
|
struct A {
|
|
mutable int value;
|
|
explicit A(int i) : value(i) {}
|
|
void mutate(int i) const { value = i; }
|
|
};
|
|
|
|
int foo() {
|
|
A const& t = A(1);
|
|
A n(t); // can this copy be elided? NO!
|
|
t.mutate(2);
|
|
return n.value; // can this return 2? NO!
|
|
}
|
|
|
|
int main()
|
|
{
|
|
int x = foo();
|
|
if (x != 1)
|
|
abort();
|
|
return 0;
|
|
}
|