[Bug c++/42043] New: object destroyed at wrong time

[miklcct at gmail dot com]

example code:

#include <iostream>
using namespace std;
struct test {
        test () {
                cout << "test::test()" << endl;
        }
        ~test() {
                cout << "test::~test()" << endl;
        }
};

struct a {
        const test &x;
        a () : x(test()){
                cout << "a::a()" << endl;
        }
        ~a() {
                cout << "a::~a()" << endl;
        }
};

int main() {
        a obj;
}

Expected result:
test::test()
a::a()
test::~test()
a::~a()

Actual result:
test::test()
test::~test()
a::a()
a::~a()

Std sect 12.2 Temporary objects
3 (...) Temporary objects are destroyed as the last step in evaluating the
full-expression that (lexically) contains the point where they were created.
(...)

4 There are two contexts in which temporaries are destroyed at a different
point than the end of the full-expression. (...)

5 The second context is when a reference is bound to a temporary. The temporary
to which the reference is bound or the temporary that is the complete object of
a subobject to which the reference is bound persists for the lifetime of the
reference expect:
 - A temporary bound to a reference member in a constructor's ctor-initializer
persists until the constructor exits.


-- 
           Summary: object destroyed at wrong time
           Product: gcc
           Version: 4.4.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: miklcct at gmail dot com
GCC target triplet: x86_64-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42043