[PATCH 7/9] ENABLE_CHECKING refactoring: middle-end, LTO FE

[thirdparty/gcc.git] / gcc / tree-ssa.h

diff --git a/gcc/tree-ssa.h b/gcc/tree-ssa.h
index a2c90a021e7938546a50afe8f9a56c8d11642d99..5a409e5f5d5beef82360f03ecd5d45e226bfc929 100644 (file)
--- 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 */