diff options
Diffstat (limited to 'gcc/tree-ssa-live.h')
| -rw-r--r-- | gcc/tree-ssa-live.h | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/gcc/tree-ssa-live.h b/gcc/tree-ssa-live.h index f49f065d69d..c2af48b9850 100644 --- a/gcc/tree-ssa-live.h +++ b/gcc/tree-ssa-live.h @@ -144,7 +144,6 @@ var_to_partition (var_map map, tree var) { int part; - gcc_assert (TREE_CODE (var) == SSA_NAME); part = partition_find (map->var_partition, SSA_NAME_VERSION (var)); if (map->partition_to_view) part = map->partition_to_view[part]; @@ -172,8 +171,8 @@ var_to_partition_to_var (var_map map, tree var) static inline int basevar_index (var_map map, int partition) { - gcc_assert (partition >= 0 - && partition <= (int) num_var_partitions (map)); + gcc_checking_assert (partition >= 0 + && partition <= (int) num_var_partitions (map)); return map->partition_to_base_index[partition]; } @@ -271,7 +270,7 @@ extern void dump_live_info (FILE *, tree_live_info_p, int); static inline int partition_is_global (tree_live_info_p live, int p) { - gcc_assert (live->global); + gcc_checking_assert (live->global); return bitmap_bit_p (live->global, p); } @@ -282,9 +281,9 @@ partition_is_global (tree_live_info_p live, int p) static inline bitmap live_on_entry (tree_live_info_p live, basic_block bb) { - gcc_assert (live->livein); - gcc_assert (bb != ENTRY_BLOCK_PTR); - gcc_assert (bb != EXIT_BLOCK_PTR); + gcc_checking_assert (live->livein + && bb != ENTRY_BLOCK_PTR + && bb != EXIT_BLOCK_PTR); return live->livein[bb->index]; } @@ -296,9 +295,9 @@ live_on_entry (tree_live_info_p live, basic_block bb) static inline bitmap live_on_exit (tree_live_info_p live, basic_block bb) { - gcc_assert (live->liveout); - gcc_assert (bb != ENTRY_BLOCK_PTR); - gcc_assert (bb != EXIT_BLOCK_PTR); + gcc_checking_assert (live->liveout + && bb != ENTRY_BLOCK_PTR + && bb != EXIT_BLOCK_PTR); return live->liveout[bb->index]; } @@ -319,8 +318,7 @@ live_var_map (tree_live_info_p live) static inline void live_merge_and_clear (tree_live_info_p live, int p1, int p2) { - gcc_assert (live->livein[p1]); - gcc_assert (live->livein[p2]); + gcc_checking_assert (live->livein[p1] && live->livein[p2]); bitmap_ior_into (live->livein[p1], live->livein[p2]); bitmap_zero (live->livein[p2]); } |