summary refs log tree commit diff
path: root/all.h
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-04-13 11:08:33 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-04-13 12:39:57 -0400
commite9dc0035aec973517649da584d6097c99f6501f5 (patch)
tree97bad6d29999d5a508c38715e974ba5234307c33 /all.h
parent4a4a0132915c1fff92f7b874121e25015b7de115 (diff)
downloadroux-e9dc0035aec973517649da584d6097c99f6501f5.tar.gz
hack an ssa validator (likely buggy)
Diffstat (limited to 'all.h')
-rw-r--r--all.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/all.h b/all.h
index 74feafe..7a636cc 100644
--- a/all.h
+++ b/all.h
@@ -529,6 +529,7 @@ void filluse(Fn *);
 void fillpreds(Fn *);
 void fillrpo(Fn *);
 void ssa(Fn *);
+void ssacheck(Fn *);
 
 /* copy.c */
 void copy(Fn *);