Add warning for accessing outside of a symbol

This shows that we have some inlining bug where we seem to
be corrupting the offsetting of an array. So right now the
warnings we get in the kernel seem to be bogus, but this
should help find that other bug too, and it doesn't trigger
often enough to be too distracting.

1 files changed, 1 insertions, 0 deletions

diff --git a/flow.h b/flow.h
index cfa4dd54..9f2e165f 100644
--- a/flow.h
+++ b/flow.h
@@ -21,6 +21,7 @@ extern void kill_use(pseudo_t *);
 extern void kill_instruction(struct instruction *);
 extern void kill_unreachable_bbs(struct entrypoint *ep);
 
+void check_access(struct instruction *insn);
 void convert_load_instruction(struct instruction *, pseudo_t);
 void rewrite_load_instruction(struct instruction *, struct pseudo_list *);
 int dominates(pseudo_t pseudo, struct instruction *insn, struct instruction *dom, int local);