| commit | 10bf7f25e85c3d0082d68214b267a5f904fd561e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Oct 2012 06:24:59 +0000 (15 08:24 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Oct 2012 06:24:59 +0000 (15 08:24 +0200) | ||
| tree | 6dd5f74bc40bd25f01444ed2b6e57bb999d0f721 | treesnapshot (tar.gz zip) |
| parent | 95550b1b32abadd384287013c808b21354a2db27 | commitdiff |
PetScan::extract: also clear assignments in while loops
Up until now, we would only clear assignments in for loops.
Clearing assignments in while loops was missing when support for while
loops was introduced in be15834 (accept infinite while loops,
Mon Aug 29 19:27:26 2011 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Up until now, we would only clear assignments in for loops.
Clearing assignments in while loops was missing when support for while
loops was introduced in be15834 (accept infinite while loops,
Mon Aug 29 19:27:26 2011 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/while_inc.c | [new file with mode: 0644] | blob |
| tests/while_inc.scop | [new file with mode: 0644] | blob |