| commit | 524176573fb0e5e757c78a65725815feb1f09351 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 25 Jul 2011 13:09:30 +0000 (25 15:09 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 25 Jul 2011 13:17:33 +0000 (25 15:17 +0200) | ||
| tree | 6fc395f80c14347d3393e83a0ee7381c5a9f040c | treesnapshot (tar.gz zip) |
| parent | 44dd25f1b511a56294845c4950003315aaafacf3 | commitdiff |
accept affine expressions where we expect a condition
In such cases, the condition is taken to be the affine expression being
non-zero.
Reported-by: Sven van Haastregt <svhaastr@liacs.nl>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In such cases, the condition is taken to be the affine expression being
non-zero.
Reported-by: Sven van Haastregt <svhaastr@liacs.nl>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| scan.h | diffblobblamehistory | |
| tests/implicit_condition.c | [new file with mode: 0644] | blob |
| tests/implicit_condition.scop | [new file with mode: 0644] | blob |