isl_sample.c: initial_basis: set n_unbounded and n_zero
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 10 Apr 2010 13:44:03 +0000 (15:44 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 10 Apr 2010 14:20:51 +0000 (16:20 +0200)
commite18f50ef6f40c2325dcf07da8fc2f960e6f0f9b9
treedc4984992783ceb6ae901dce1e90e987954a3de4
parentcb730f62c0b138bf53f695d0630272edb4b1c88e
isl_sample.c: initial_basis: set n_unbounded and n_zero

n_unbounded and n_zero are initialized to zero, but they can
be set to non-zero values in isl_tab_set_initial_basis_with_cone.
If isl_tab_sample is later called on an updated tab, but with
the old basis removed, then these values, in particular n_unbounded,
may not be valid anymore.
In particular, this happens in isl_tab_pip.c's gbr_get_sample.
Arguably, gbr_get_sample should reset the values of n_zero and n_unbounded
when it drops the basis, but it doens't hurt for initial_basis
to reset those values too.
isl_sample.c
isl_tab_pip.c
isl_test.c