isl_qpolynomial_var_on_domain: impose stricter check for set space
commit38f1a592e80176863a68a2bf305f4dfd6e1999cb
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 16 Aug 2018 16:07:04 +0000 (16 18:07 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 22 Aug 2018 10:09:15 +0000 (22 12:09 +0200)
tree098fe3237a5705aeb0bae5775c74da47ca13ca56
parent3641baa2d8c2c5001a2fd5627bc23a6c07fdca2d
isl_qpolynomial_var_on_domain: 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 input space needs to be marked as such.

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