| commit | 5f2ea7d8ec7f823c5469698d3a631e2f5dd250a3 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 25 Mar 2014 14:52:08 +0000 (25 15:52 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 3 Apr 2014 10:17:02 +0000 (3 12:17 +0200) | ||
| tree | d79fd840e0029cc7202f93a0cd806c69eb93dc99 | treesnapshot (tar.gz zip) |
| parent | d3e47810d36dc6628c9d7446a2aa332a25cd82d2 | commitdiff |
pet_scop_from_pet_stmt: do not extract context from kill statements
The argument of a kill statement is the extent of the killed array.
Extracting context constraints from this extent restricts the context
to those parameter values where the array is non-empty.
If we want to restrict the context in this way, we should do
so explicitly and not by acciddent through the argument of a kill statement.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The argument of a kill statement is the extent of the killed array.
Extracting context constraints from this extent restricts the context
to those parameter values where the array is non-empty.
If we want to restrict the context in this way, we should do
so explicitly and not by acciddent through the argument of a kill statement.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scop.c | diffblobblamehistory | |
| tests/decl2.scop | diffblobblamehistory |