| commit | 20f07acd2174417b4cc46f69df5c56e4a688fc49 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 17 Feb 2014 15:49:47 +0000 (17 16:49 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 25 Mar 2014 13:36:28 +0000 (25 14:36 +0100) | ||
| tree | 2c6f233c44cffc57556799cc34ced92d69bca7fc | treesnapshot (tar.gz zip) |
| parent | 5f481c8769ee19a15779eb4d39d69a2313997234 | commitdiff |
drop pet_context_mark_assigned
In the previous commit we started clearing writes at the outermost level.
This means we will no longer come across a variable that is first
treated as a parameter which then later turns out not to be a parameter.
We can therefore remove the special handling of this situation and
simply replace the calls to pet_context_mark_assigned by
calls to pet_context_mark_unknown.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In the previous commit we started clearing writes at the outermost level.
This means we will no longer come across a variable that is first
treated as a parameter which then later turns out not to be a parameter.
We can therefore remove the special handling of this situation and
simply replace the calls to pet_context_mark_assigned by
calls to pet_context_mark_unknown.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| context.c | diffblobblamehistory | |
| context.h | diffblobblamehistory | |
| tree2scop.c | diffblobblamehistory |