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

* 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
This commit is contained in:
Jan Hubicka 2010-06-08 21:53:10 +02:00 committed by Jan Hubicka
parent e89065a172
commit a7280dfb8a
2 changed files with 15 additions and 0 deletions

View File

@ -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

View File

@ -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--;
}