isl_tab_pip.c: add_div: use more reliable way to test whether div is nonneg
commit57bd26bcf4ee5033a8a1732c9d711256815d759a
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 17 Sep 2009 13:40:46 +0000 (17 15:40 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 9 Oct 2009 17:56:02 +0000 (9 19:56 +0200)
tree10f35edd9214166882a31c216432c516b256ef6d
parent79d277b08490900bd698114586a63160a3da5d01
isl_tab_pip.c: add_div: use more reliable way to test whether div is nonneg

Before, we used the fact that if all parameters are non-negative,
then the big parameter is not used.
However, it is perfectly valid to have negative parameters and
still not use any big parameter.
isl_tab_pip.c