| commit | b05b48409dc7772d14c3f4e6b2efb7995b638d33 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 14 Mar 2014 14:42:16 +0000 (14 15:42 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 14 Mar 2014 16:10:56 +0000 (14 17:10 +0100) | ||
| tree | 3f3b4583dc22b509bf70a44e02a3f95117e32b9e | treesnapshot (tar.gz zip) |
| parent | c2ae151c1aec918784c33f56a1fdf0cb428d0799 | commitdiff |
PetScan::extract_for: do not allow initial value to depend on iterator
If the initializer of a for loop refers to the loop iterator,
then it refers to the value before the loop, meaning that
the initial value is not an affine expression.
No test case is added here since a test case that tickles
this bug would result in an error message after the fix.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the initializer of a for loop refers to the loop iterator,
then it refers to the value before the loop, meaning that
the initial value is not an affine expression.
No test case is added here since a test case that tickles
this bug would result in an error message after the fix.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory |