*** empty log message ***

[libfirm] / ir / be / belive.h

diff --git a/ir/be/belive.h b/ir/be/belive.h
index cf9c6fb..c1e58fa 100644 (file)
--- a/ir/be/belive.h
+++ b/ir/be/belive.h
@@ -46,5 +46,10 @@ int (is_live_out)(const ir_node *block, const ir_node *irn);
  */
 int (is_live_end)(const ir_node *block, const ir_node *irn);
 
+/**
+ * Check, if the SSA dominance property is fulfilled.
+ * @param irg The graph.
+ */
+void be_check_dominance(ir_graph *irg);
 
 #endif