summaryrefslogtreecommitdiff
path: root/mi/mi.h
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-01-01 01:05:50 -0800
committerOri Bernstein <ori@eigenstate.org>2016-01-01 01:05:50 -0800
commitffc55ee721c02d1caede8d7fbad9e8b687f01306 (patch)
tree5ebf03f748eea405339fc1e013675cb3f35442d4 /mi/mi.h
parent7ef2abad32fe3b273f16eeb28d63a63229dca3a6 (diff)
downloadmc-ffc55ee721c02d1caede8d7fbad9e8b687f01306.tar.gz
Actually check array sizes when inferring.
Diffstat (limited to 'mi/mi.h')
-rw-r--r--mi/mi.h3
1 files changed, 0 insertions, 3 deletions
diff --git a/mi/mi.h b/mi/mi.h
index 021a3f7..d1910f6 100644
--- a/mi/mi.h
+++ b/mi/mi.h
@@ -35,9 +35,6 @@ struct Reaching {
size_t *ndefs;
};
-/* expression folding */
-Node *fold(Node *n, int foldvar);
-
/* dataflow analysis */
Reaching *reaching(Cfg *cfg);
Node *assignee(Node *n);