mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 05:30:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR c++/53812 (lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1))

Browse Source 
PR c++/53812
	* semantics.c (finish_goto_stmt): Surround computed goto argument
	with CLEANUP_POINT_EXPR if needed.

	* g++.dg/ext/label14.C: New test.

From-SVN: r189225
This commit is contained in:
Jakub Jelinek 2012-07-03 15:09:16 +02:00 committed by Jakub Jelinek
parent 95a3d9ee86
commit 5340631568
4 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/cp/ChangeLog
View File

@ -1,3 +1,9 @@
2012-07-03 Jakub Jelinek <jakub@redhat.com>
PR c++/53812
* semantics.c (finish_goto_stmt): Surround computed goto argument
with CLEANUP_POINT_EXPR if needed.
2012-07-02 Jason Merrill <jason@redhat.com>
PR c++/53619

3
gcc/cp/semantics.c
View File

@ -571,6 +571,9 @@ finish_goto_stmt (tree destination)
tf_warning_or_error);
if (error_operand_p (destination))
return NULL_TREE;
destination
= fold_build_cleanup_point_expr (TREE_TYPE (destination),
destination);
}
}

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2012-07-03 Jakub Jelinek <jakub@redhat.com>
PR c++/53812
* g++.dg/ext/label14.C: New test.
2012-07-03 Uros Bizjak <ubizjak@gmail.com>
PR target/53811

17
gcc/testsuite/g++.dg/ext/label14.C Normal file
View File

@ -0,0 +1,17 @@
// PR c++/53812
// { dg-do compile }
// { dg-options "" }
struct T { T () : t(0) {}; int t; ~T (); };
struct S { void *operator [] (T); };
void bar (S &, void *, void *);
void
foo (S &x, T &y)
{
bar (x, &&l1, &&l2);
l1:
goto *x[y];
l2:
bar (x, &&l1, &&l2);
}