diff options
| author | Richard Biener <rguenther@suse.de> | 2017-12-14 14:53:40 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-12-14 14:53:40 +0000 |
| commit | e64905d8771745218738e7e9802f2a5f673afaa4 (patch) | |
| tree | 81564e8501169076fd5d48fca36fee92a566a85d | |
| parent | 8fa06648cde628f49ac69587d31841fc338ec841 (diff) | |
re PR tree-optimization/67842 (Incorrect check in sese.h:bb_in_region)
2017-12-14 Richard Biener <rguenther@suse.de>
PR tree-optimization/67842
* sese.h (bb_in_region): Remove #if 0'ed code.
From-SVN: r255636
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/sese.h | 14 |
2 files changed, 5 insertions, 14 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4f97ca254ac..b8a08268b93 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2017-12-14 Richard Biener <rguenther@suse.de> + PR tree-optimization/67842 + * sese.h (bb_in_region): Remove #if 0'ed code. + +2017-12-14 Richard Biener <rguenther@suse.de> + PR tree-optimization/83326 * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Add may_be_zero parameter and handle it by not marking the first diff --git a/gcc/sese.h b/gcc/sese.h index cbc20ab1064..db17ff88b1a 100644 --- a/gcc/sese.h +++ b/gcc/sese.h @@ -120,20 +120,6 @@ sese_nb_params (sese_info_p region) static inline bool bb_in_region (const_basic_block bb, const_basic_block entry, const_basic_block exit) { - /* FIXME: PR67842. */ -#if 0 - if (flag_checking) - { - edge e; - edge_iterator ei; - - /* Check that there are no edges coming in the region: all the - predecessors of EXIT are dominated by ENTRY. */ - FOR_EACH_EDGE (e, ei, exit->preds) - gcc_assert (dominated_by_p (CDI_DOMINATORS, e->src, entry)); - } -#endif - return dominated_by_p (CDI_DOMINATORS, bb, entry) && !(dominated_by_p (CDI_DOMINATORS, bb, exit) && !dominated_by_p (CDI_DOMINATORS, entry, exit)); |