| commit | 4ba0390a7b91fd659410e378524a071ea001366a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 8 Jan 2012 10:16:48 +0000 (8 11:16 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 6 Mar 2012 12:01:32 +0000 (6 13:01 +0100) | ||
| tree | 9d2d503a27f778788ed9c83755cfc1dcf070406d | treesnapshot (tar.gz zip) |
| parent | a5d8db8d2016767a2537dedd1a0d858dc15039aa | commitdiff |
PetScan::extract_for: update context with respect to for loop
In particular, take into account the validity of the initialization,
the condition and the increment.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, take into account the validity of the initialization,
the condition and the increment.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/generic_condition.scop | diffblobblamehistory | |
| tests/tobi2.scop | diffblobblamehistory |