aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa.h
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/tree-ssa.h')
-rw-r--r--gcc/tree-ssa.h8
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-ssa.h b/gcc/tree-ssa.h
index a2c90a0..5a409e5 100644
--- a/gcc/tree-ssa.h
+++ b/gcc/tree-ssa.h
@@ -77,5 +77,13 @@ redirect_edge_var_map_location (edge_var_map *v)
return v->locus;
}
+/* Verify SSA invariants, if internal consistency checks are enabled. */
+
+static inline void
+checking_verify_ssa (bool check_modified_stmt, bool check_ssa_operands)
+{
+ if (flag_checking)
+ verify_ssa (check_modified_stmt, check_ssa_operands);
+}
#endif /* GCC_TREE_SSA_H */