Add a flow verification thing.

Let's try to make sure that once I get these flow bugs ironed
out they won't come creeping back in.

1 files changed, 1 insertions, 0 deletions

diff --git a/flow.h b/flow.h
index 20f9fc82..390b410a 100644
--- a/flow.h
+++ b/flow.h
@@ -24,6 +24,7 @@ void rewrite_load_instruction(struct instruction *, struct pseudo_list *);
 int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);
 
 extern void track_pseudo_usage(struct entrypoint *ep);
+extern void vrfy_flow(struct entrypoint *ep);
 
 extern struct basic_block *trivial_common_parent(struct basic_block *, pseudo_t,
 	struct basic_block *, pseudo_t);