aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/sese.h14
2 files changed, 5 insertions, 14 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4f97ca2..b8a0826 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 cbc20ab..db17ff8 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));