summaryrefslogtreecommitdiffhomepage
path: root/ir/be/belive.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2006-08-22 08:46:57 +0200
committerMatthias Braun <matze@braunis.de>2006-08-22 08:46:57 +0200
commitf1b19d7dc93dcac082f79e9e38b84bc3258c79a4 (patch)
tree7ef43ab60056b45964ef55da4691ccd12836368a /ir/be/belive.h
parent48071aea23fabc99044488d12757f274bc956fae (diff)
- More verification checks before code emit
- Respect vrfy option
Diffstat (limited to 'ir/be/belive.h')
-rw-r--r--ir/be/belive.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/ir/be/belive.h b/ir/be/belive.h
index fddbcdb..f368fb3 100644
--- a/ir/be/belive.h
+++ b/ir/be/belive.h
@@ -116,8 +116,9 @@ int (be_is_live_end)(const be_lv_t *lv, const ir_node *block, const ir_node *irn
/**
* Check, if the SSA dominance property is fulfilled.
* @param irg The graph.
+ * @return 1 if dominance property is fulfilled, 0 otherwise
*/
-void be_check_dominance(ir_graph *irg);
+int be_check_dominance(ir_graph *irg);
/**
* The liveness transfer function.