| commit | 896ae3f582e88ee8e1448c0462384ac1bced4c0b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 11 May 2015 12:28:03 +0000 (11 14:28 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 11 May 2015 13:25:42 +0000 (11 15:25 +0200) | ||
| tree | 781805e6f702cb4ce8720bdcc009c9558f37fe8a | treesnapshot (tar.gz zip) |
| parent | c57edf2e7c68c696543a0d46c9040f786904a3f2 | commitdiff |
PetScan::extract: do not treat partial range of statements as a block
That is, make sure no kill will be introduced at the end of
the range of statements for any variable declared in the range
because the variable may still be used by a statement that did
not get included in the partial range.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
That is, make sure no kill will be introduced at the end of
the range of statements for any variable declared in the range
because the variable may still be used by a statement that did
not get included in the partial range.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/autodetect/decl2.c | [new file with mode: 0644] | blob |
| tests/autodetect/decl2.scop | [new file with mode: 0644] | blob |