| commit | b3c3e43f352fda26cc9c00fcf6fc2c226dce421a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 17 Oct 2014 13:30:38 +0000 (17 15:30 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 13 Jan 2015 17:11:25 +0000 (13 18:11 +0100) | ||
| tree | 76b93fd11b405617706e767473b5059419b8f719 | treesnapshot (tar.gz zip) |
| parent | 1d3c9e010d41e254a9bc68dec7b343f2bfacc2e7 | commitdiff |
add support for __pencil_kill
This statement allows the user to explicitly mark (part of) arrays dead,
meaning that the user certifies that no data can flow through the marked
array elements from a statement instance executed before the kill instance
to a statement instance executed after the kill instance.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This statement allows the user to explicitly mark (part of) arrays dead,
meaning that the user certifies that no data can flow through the marked
array elements from a statement instance executed before the kill instance
to a statement instance executed after the kill instance.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| pet.cc | diffblobblamehistory | |
| scan.cc | diffblobblamehistory | |
| tests/kill.c | [new file with mode: 0644] | blob |
| tests/kill.scop | [new file with mode: 0644] | blob |
| tree2scop.c | diffblobblamehistory |