Temporary objects are deleted incorrectly

Question

The temporary objects are deleted (their destructors called) when they are leaving the scope of the expression due to wich they were created. But the Standard says that a temporary object should be deleted when the full expression due to wich it was created is completely evaluated (if no reference to it was created).
Consider the following example:
#include <iostream>
using namespace std;
class A
public:
A() {
  cout << "A constructor" << endl;
~A() {
  cout << "A destructor" << endl;
A foo() {
cout << "foo has been called" << endl;
return A();
void foo2(A const& a) {
cout << "foo2 has been called" << endl;
int main(int argc, char *argv[], char *envp[])
cout << "main started" << endl;
foo2(foo()); // BUG
cout << "main continued execution" << endl;
return 0;
}This test makes the following output:
main started
foo has been called
A constructor
foo2 has been called
main continued execution
A destructor
As you may see, the temporary object of type A created as a return value of function foo() is deleted on main() exit, not on finishing evaluation of the expression "foo2(foo());".
The expected output is:
main started
foo has been called
A constructor
foo2 has been called
A destructor
main continued execution
Actually, if the line marked as BUG is enclosed in {} brackets the desired output is achieved.

Answer 1

For compatibility with older compilers, the compiler by default destroys temporary objects at the end of the block in which they are destroyed.
To get standard-conforming behavior, use the compiler option
-features=tmplife
on each module where temporary lifetime makes a difference.