diff options
author | Richard Biener <rguenther@suse.de> | 2017-05-30 11:08:36 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-05-30 11:08:36 +0000 |
commit | ba7629e2dd50baaa34acb9430c2087073685c0fa (patch) | |
tree | ae64df2a7f595668efbb8b7fed58afdfa0b293c9 /gcc/cfgexpand.c | |
parent | 4d3d23fb7d364ce433cf59b7d36d333567990518 (diff) | |
download | gcc-ba7629e2dd50baaa34acb9430c2087073685c0fa.zip gcc-ba7629e2dd50baaa34acb9430c2087073685c0fa.tar.gz gcc-ba7629e2dd50baaa34acb9430c2087073685c0fa.tar.bz2 |
re PR tree-optimization/80901 (ICE on valid code at -Os and above on x86_64-linux-gnu: in verify_loop_structure, at cfgloop.c:1644)
2017-05-30 Richard Biener <rguenther@suse.de>
PR middle-end/80901
* cfgexpand.c (expand_gimple_cond): Match up loop fixup with
split_edge code.
* gcc.dg/torture/pr80901.c: New testcase.
From-SVN: r248681
Diffstat (limited to 'gcc/cfgexpand.c')
-rw-r--r-- | gcc/cfgexpand.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index c5b4d70..698d43b 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -2503,10 +2503,11 @@ expand_gimple_cond (basic_block bb, gcond *stmt) false_edge->flags |= EDGE_FALLTHRU; new_bb->count = false_edge->count; new_bb->frequency = EDGE_FREQUENCY (false_edge); - add_bb_to_loop (new_bb, dest->loop_father); - if (dest->loop_father->latch == bb - && dest->loop_father->header == dest) - dest->loop_father->latch = new_bb; + loop_p loop = find_common_loop (bb->loop_father, dest->loop_father); + add_bb_to_loop (new_bb, loop); + if (loop->latch == bb + && loop->header == dest) + loop->latch = new_bb; new_edge = make_edge (new_bb, dest, 0); new_edge->probability = REG_BR_PROB_BASE; new_edge->count = new_bb->count; |