diff options
| author | Richard Biener <rguenther@suse.de> | 2017-05-30 07:49:00 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-05-30 07:49:00 +0000 |
| commit | 892d61696c447025d6ccc52eb85a4ab688e122a3 (patch) | |
| tree | 08f4e9146de208eae527980905c222ef699cd61b /gcc | |
| parent | 63523736d018998672b707e669d0536d10cb735e (diff) | |
| download | gcc-892d61696c447025d6ccc52eb85a4ab688e122a3.zip gcc-892d61696c447025d6ccc52eb85a4ab688e122a3.tar.gz gcc-892d61696c447025d6ccc52eb85a4ab688e122a3.tar.bz2 | |
re PR tree-optimization/80876 (ICE in verify_loop_structure, at cfgloop.c:1644 (error: loop 1's latch does not have an edge to its header))
2017-05-30 Richard Biener <rguenther@suse.de>
PR middle-end/80876
* cfgexpand.c (expand_gimple_cond): Fixup preserving loops again.
* gcc.dg/torture/pr80876.c: New testcase.
From-SVN: r248633
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cfgexpand.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr80876.c | 42 |
4 files changed, 55 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2475e7a..cf7edfd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2017-05-30 Richard Biener <rguenther@suse.de> + + PR middle-end/80876 + * cfgexpand.c (expand_gimple_cond): Fixup preserving loops again. + 2017-05-30 Martin Liska <mliska@suse.cz> * dumpfile.c: Use newly added macro DUMP_FILE_INFO. diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index 9965310..c5b4d70 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -2504,9 +2504,9 @@ expand_gimple_cond (basic_block bb, gcond *stmt) new_bb->count = false_edge->count; new_bb->frequency = EDGE_FREQUENCY (false_edge); add_bb_to_loop (new_bb, dest->loop_father); - if (bb->loop_father->latch == bb - && bb->loop_father->header == dest) - bb->loop_father->latch = new_bb; + if (dest->loop_father->latch == bb + && dest->loop_father->header == dest) + dest->loop_father->latch = new_bb; new_edge = make_edge (new_bb, dest, 0); new_edge->probability = REG_BR_PROB_BASE; new_edge->count = new_bb->count; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1b7ef97..682f95fe 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-05-30 Richard Biener <rguenther@suse.de> + + PR middle-end/80876 + * gcc.dg/torture/pr80876.c: New testcase. + 2017-05-29 Nathan Sidwell <nathan@acm.org> PR c++/80891 (#5) diff --git a/gcc/testsuite/gcc.dg/torture/pr80876.c b/gcc/testsuite/gcc.dg/torture/pr80876.c new file mode 100644 index 0000000..35f9f50 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr80876.c @@ -0,0 +1,42 @@ +/* { dg-do compile } */ + +int sy; + +void +fo (char o5) +{ + char yh = 0; + + if (o5 == 0) + return; + + while (o5 != 0) + if (0) + { + while (yh != 0) + { + o5 = 0; + while (o5 < 2) + { + sy &= yh; + if (sy != 0) + { +km: + sy = yh; + } + } + ++yh; + } + } + else + { + o5 = sy; + goto km; + } +} + +void +on (void) +{ + fo (sy); +} |