diff options
author | Jan Hubicka <jh@suse.cz> | 2010-06-08 21:53:10 +0200 |
---|---|---|
committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2010-06-08 19:53:10 +0000 |
commit | a7280dfb8a2891529c8bdd3f6288787c61f7eabe (patch) | |
tree | b52073aa37e9b0af44b23f56380a4129842565e2 /gcc/basic-block.h | |
parent | e89065a17202234f50185ce3bf2a80efb2fef938 (diff) | |
download | gcc-a7280dfb8a2891529c8bdd3f6288787c61f7eabe.zip gcc-a7280dfb8a2891529c8bdd3f6288787c61f7eabe.tar.gz gcc-a7280dfb8a2891529c8bdd3f6288787c61f7eabe.tar.bz2 |
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
Diffstat (limited to 'gcc/basic-block.h')
-rw-r--r-- | gcc/basic-block.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/basic-block.h b/gcc/basic-block.h index 1d8d53b..135c0c2 100644 --- 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--; } |