Subversion Repositories scarts

// { dg-do run }

// Origin: Giovanni Bajo 

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

}