| commit | d5c52aba401d4ff786146651ef354d373d0a45c2 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 23 Jul 2014 12:42:34 +0000 (23 14:42 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 29 Jul 2014 11:31:23 +0000 (29 13:31 +0200) | ||
| tree | 2928a48ac1b6b557e75c03123263d0cbcc358dd2 | treesnapshot (tar.gz zip) |
| parent | 0eda24f802d63e896c687bf9e7d5c1899b889677 | commitdiff |
isl_basic_map_drop_constraints_not_involving_dims: fix result of special case
In particular, if we are removing the constraints that do not involve
an empty sequence of dimensions, then we are removing all constraints
and the result should be the universe set rather than the empty set.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, if we are removing the constraints that do not involve
an empty sequence of dimensions, then we are removing all constraints
and the result should be the universe set rather than the empty set.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_affine_hull.c | diffblobblamehistory |