| commit | 7b584adc2485824017ff545254dcac04ed77fe91 | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Thu, 30 Aug 2018 15:00:44 +0000 (30 17:00 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Thu, 30 Aug 2018 21:24:32 +0000 (30 23:24 +0200) | ||
| tree | b74fb73ed3267d3f316cb5bc7e961c96bb010df9 | treesnapshot (tar.gz zip) |
| parent | 027a180b8abf2149b5bc840ed8227beb8a947931 | commitdiff |
isl_space_can_uncurry: implement with isl_space_range_is_wrapping
Besides simplifying the code, this corrects the semantics of this
function. For set spaces with wrapped spaces it now always returns
isl_bool_false, instead of isl_bool_true. This is correct, as set spaces
cannot be uncurried.
As a minor side effect, this commit removes implicit boolean conversions.
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Besides simplifying the code, this corrects the semantics of this
function. For set spaces with wrapped spaces it now always returns
isl_bool_false, instead of isl_bool_true. This is correct, as set spaces
cannot be uncurried.
As a minor side effect, this commit removes implicit boolean conversions.
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_space.c | diffblobblamehistory |