diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2010-01-09 14:40:59 +0000 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@gcc.gnu.org> | 2010-01-09 14:40:59 +0000 |
| commit | 5de8da9b685658bc6132ef052ecbd06fe7163128 (patch) | |
| tree | 49595835261873911612415bb60c38eb029e5e77 /gcc/gimplify.c | |
| parent | 684f25f432c571fc5d2dfd03a3c3389a801b75bc (diff) | |
| download | gcc-5de8da9b685658bc6132ef052ecbd06fe7163128.zip gcc-5de8da9b685658bc6132ef052ecbd06fe7163128.tar.gz gcc-5de8da9b685658bc6132ef052ecbd06fe7163128.tar.bz2 | |
re PR middle-end/42363 (ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g)
gcc/ChangeLog:
PR middle-end/42363
* gimplify.c (gimplify_modify_expr): Drop lhs on noreturn calls.
* tree-cfg.c (is_ctrl_altering_stmt): Don't compute flags twice.
(verify_gimple_call): Reject LHS in noreturn calls.
gcc/testsuite/ChangeLog:
PR middle-end/42363
* gcc.dg/torture/pr42363.c: New.
From-SVN: r155762
Diffstat (limited to 'gcc/gimplify.c')
| -rw-r--r-- | gcc/gimplify.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/gimplify.c b/gcc/gimplify.c index a3c6834..e09cb3e 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -4407,7 +4407,8 @@ gimplify_modify_expr (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p, /* Since the RHS is a CALL_EXPR, we need to create a GIMPLE_CALL instead of a GIMPLE_ASSIGN. */ assign = gimple_build_call_from_tree (*from_p); - gimple_call_set_lhs (assign, *to_p); + if (!gimple_call_noreturn_p (assign)) + gimple_call_set_lhs (assign, *to_p); } else { |