| commit | d84b70af9a3a7f7a9a7fe5d2913f946c2e5314b6 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 21 Jul 2017 14:11:49 +0000 (21 16:11 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 24 Jul 2017 08:51:21 +0000 (24 10:51 +0200) | ||
| tree | e974cc4914e065341b19e3ae61707fd4b17db7d0 | treesnapshot (tar.gz zip) |
| parent | 9e5a80bcf4cacbc581bce434702c06c61bb8494d | commitdiff |
isl_stream_read_map: fix handling of empty optional formula
An empty optional formula should not affect the map being parsed,
but this was broken in isl-0.07-39-g62808ce5b4 (isl_stream_read_map:
use affine expressions during parsing, Mon Jul 25 09:36:00 2011 +0200).
Prior to this commit, the caller of read_disjuncts would intersect
the result with the constraints derived from the tuples.
Since this commit, these constraints are passed to read_disjuncts instead
and returned back together with the parsed disjuncts.
The case of an empty formula failed to be adjusted accordingly.
Simply return the original constraints instead of returning a universe map.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
An empty optional formula should not affect the map being parsed,
but this was broken in isl-0.07-39-g62808ce5b4 (isl_stream_read_map:
use affine expressions during parsing, Mon Jul 25 09:36:00 2011 +0200).
Prior to this commit, the caller of read_disjuncts would intersect
the result with the constraints derived from the tuples.
Since this commit, these constraints are passed to read_disjuncts instead
and returned back together with the parsed disjuncts.
The case of an empty formula failed to be adjusted accordingly.
Simply return the original constraints instead of returning a universe map.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_input.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |