diff options
| author | Christopher Li <sparse@chrisli.org> | 2008-12-15 02:46:29 +0300 |
|---|---|---|
| committer | Alexey Zaytsev <alexey.zaytsev@gmail.com> | 2008-12-15 02:46:29 +0300 |
| commit | e45e23489743c2c6e316008d1fbf11422cf0f4a9 (patch) | |
| tree | 9eaf44b3941a9c9b611c0d221fee51a1f250ef24 | |
| parent | 8f208e215a531d2b32aec0428fd5eaa24ae3100b (diff) | |
| download | sparse-dev-e45e23489743c2c6e316008d1fbf11422cf0f4a9.tar.gz | |
Evaluate iterator symbols
evaluate.c forgets to evaluate iterator_syms, which
might have some expression in initializer.
Signed-Off-By: Christopher Li <sparse@chrisli.org>
| -rw-r--r-- | evaluate.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3106,6 +3106,7 @@ static void evaluate_if_statement(struct statement *stmt) static void evaluate_iterator(struct statement *stmt) { + evaluate_symbol_list(stmt->iterator_syms); evaluate_conditional(stmt->iterator_pre_condition, 1); evaluate_conditional(stmt->iterator_post_condition,1); evaluate_statement(stmt->iterator_pre_statement); |