The following test program works with gcc-2.95.3 and gcc-3.4.1, but aborts with this error on gcc-4.0.0: z.ii: In function 'void bar()': z.ii:11: internal compiler error: in create_tmp_var, at gimplify.c:368 struct Foo { ~Foo() {} int i; operator bool() { return !i; } }; void bar() { Foo foo = ({ Foo bletch; bletch.i = 0; bletch; }); } This popped up in an early run of gcc-4.0.0 on real code.
Forgot to mention: I have applied the fixes for PR20973 and PR21173 as given in bugzilla.
Confirmed. Related to PR 20103.
This has been failing since the tree-ssa branch was merged in and on the tree-ssa since at least 2003-05-30.
ug, this is horrible. we're incorrectly smashing up the inside of a STMT_EXPR to pull out a TARGET_EXPR we know is there. Unfortunately that moves a decl outside of its cleanup. We really should be going the other way and pushing the user of the STMT_EXPR into it. I suspect we'll need to move further along the path of making STMT_EXPRs look like real function calls, complete with an explicitly generated RESULT_DECL.
Postponed until 4.0.2.
Shorter testcase: =========================== struct A { ~A(); }; void foo() { A a = ({ A b; b; }); } ===========================
Subject: Bug 21440 CVSROOT: /cvs/gcc Module name: gcc Changes by: mmitchel@gcc.gnu.org 2005-09-05 15:59:32 Modified files: gcc/cp : semantics.c ChangeLog gcc/testsuite : ChangeLog Added files: gcc/testsuite/g++.dg/ext: stmtexpr5.C stmtexpr6.C Log message: PR c++/21440 * semantics.c (finish_stmt_expr_expr): Add an explicit initialization to the last statement in the statement-expression. * (finish_stmt_expr): Adjust accordingly. PR c++/21440 * g++.dg/ext/stmtexpr5.C: New test. * g++.dg/ext/stmtexpr6.C: Likewise. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.484&r2=1.485 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4869&r2=1.4870 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6009&r2=1.6010 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/stmtexpr5.C.diff?cvsroot=gcc&r1=NONE&r2=1.1 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/stmtexpr6.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
Subject: Bug 21440 CVSROOT: /cvs/gcc Module name: gcc Branch: gcc-4_0-branch Changes by: mmitchel@gcc.gnu.org 2005-09-05 16:00:46 Modified files: gcc/cp : semantics.c ChangeLog gcc/testsuite : ChangeLog Added files: gcc/testsuite/g++.dg/ext: stmtexpr5.C stmtexpr6.C Log message: PR c++/21440 * semantics.c (finish_stmt_expr_expr): Add an explicit initialization to the last statement in the statement-expression. * (finish_stmt_expr): Adjust accordingly. PR c++/21440 * g++.dg/ext/stmtexpr5.C: New test. * g++.dg/ext/stmtexpr6.C: Likewise. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.463.2.7&r2=1.463.2.8 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.89&r2=1.4648.2.90 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.376&r2=1.5084.2.377 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/stmtexpr5.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/stmtexpr6.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
Fixed in 4.0.2.
*** Bug 23636 has been marked as a duplicate of this bug. ***