basic-block.h (single_succ_edge, [...]): Do sanity checking with ENABLE_CHECKING...

	* basic-block.h (single_succ_edge, single_pred_edge, ei_container,
	ei_next, ei_prev): Do sanity checking with ENABLE_CHECKING only.

From-SVN: r160446

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 33a4071..7b910df 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2010-06-08  Jan Hubicka  <jh@suse.cz>
+
+       * basic-block.h (single_succ_edge, single_pred_edge, ei_container,
+       ei_next, ei_prev): Do sanity checking with ENABLE_CHECKING only.
+
 2010-06-08  Sandra Loosemore  <sandra@codesourcery.com>
 
        PR tree-optimization/39874

diff --git a/gcc/basic-block.h b/gcc/basic-block.h
index 1d8d53b..135c0c2 100644 (file)
--- a/gcc/basic-block.h
+++ b/gcc/basic-block.h
@@ -554,7 +554,9 @@ single_pred_p (const_basic_block bb)
 static inline edge
 single_succ_edge (const_basic_block bb)
 {
+#ifdef ENABLE_CHECKING
   gcc_assert (single_succ_p (bb));
+#endif
   return EDGE_SUCC (bb, 0);
 }
 
@@ -564,7 +566,9 @@ single_succ_edge (const_basic_block bb)
 static inline edge
 single_pred_edge (const_basic_block bb)
 {
+#ifdef ENABLE_CHECKING
   gcc_assert (single_pred_p (bb));
+#endif
   return EDGE_PRED (bb, 0);
 }
 
@@ -596,7 +600,9 @@ typedef struct {
 static inline VEC(edge,gc) *
 ei_container (edge_iterator i)
 {
+#ifdef ENABLE_CHECKING
   gcc_assert (i.container);
+#endif
   return *i.container;
 }
 
@@ -647,7 +653,9 @@ ei_one_before_end_p (edge_iterator i)
 static inline void
 ei_next (edge_iterator *i)
 {
+#ifdef ENABLE_CHECKING
   gcc_assert (i->index < EDGE_COUNT (ei_container (*i)));
+#endif
   i->index++;
 }
 
@@ -655,7 +663,9 @@ ei_next (edge_iterator *i)
 static inline void
 ei_prev (edge_iterator *i)
 {
+#ifdef ENABLE_CHECKING
   gcc_assert (i->index > 0);
+#endif
   i->index--;
 }