| commit | 19842fb6cd0b1c289a428c30166b89574a3ea93e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 28 Dec 2013 09:53:20 +0000 (28 10:53 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 24 Mar 2014 16:32:11 +0000 (24 17:32 +0100) | ||
| tree | a8c6e949d6692fba41aaae6616f758adb9009670 | treesnapshot (tar.gz zip) |
| parent | 8d06f46bb7bdeed593fbc1ef88fa83ed8d7d7138 | commitdiff |
PetScan::extract_access_expr: delay plugging in the affine expression arguments
That is, plug them in where we require them to have been plugged in.
In particular, if we want to extract an affine condition from a pet_expr,
then we had better plug in affine arguments first such that they are
not recognized as nested accesses.
We also need to plug in affine arguments before resolving nested
expression in order to be able to recognize subaccesses.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
That is, plug them in where we require them to have been plugged in.
In particular, if we want to extract an affine condition from a pet_expr,
then we had better plug in affine arguments first such that they are
not recognized as nested accesses.
We also need to plug in affine arguments before resolving nested
expression in order to be able to recognize subaccesses.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory |