isl_basic_set_from_constraint: impose stricter check for set space
commit280802fbc1532b673a52ba975a516244d0122317
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 10 Aug 2018 07:27:59 +0000 (10 09:27 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 22 Aug 2018 10:09:15 +0000 (22 12:09 +0200)
treea1b34f6e18e3d4be28c2b0cd14984b90343bb07b
parent45a794b33b4e1d20c92dca140089a3f5f4d9b75d
isl_basic_set_from_constraint: impose stricter check for set space

The original test only checks for the absence of input dimensions,
but ever since isl-0.07-142-g9043b59e4d (explicitly differentiate
between spaces of maps, sets and parameter sets,
Thu Aug 25 19:21:05 2011 +0200), set spaces are marked explicitly and
the space of the constraint needs to be marked as such.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_constraint.c