isl_basic_set_dim_residue_class: only set *modulo to 0 when dimension is fixed
authorSven Verdoolaege <sven@cs.kuleuven.be>
Sat, 18 Jul 2009 16:06:02 +0000 (18:06 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 19 Jul 2009 08:31:51 +0000 (10:31 +0200)
commitcce8fd5ebe7677e02c72d0ff81fa0b371f34c034
tree180b7e82c59e7fd79d13b665c057c2047bf776a0
parent8353b813052920399a85403024938398945ef72e
isl_basic_set_dim_residue_class: only set *modulo to 0 when dimension is fixed

Before, when no residue class could be detected, *modulo was sometimes
set to 0 and sometimes to 1.  Now *modulo is always set to 1 in these
cases, except when the specified dimension has a fixed constant value,
in which case *modulo is set to 0 and *residue to the fixed value.
isl_equalities.c