isl_tab_pip.c: set_row_cst_to_div: don't assume coefficient of div is zero
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 20 Oct 2011 18:18:57 +0000 (20:18 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 20 Oct 2011 18:22:15 +0000 (20:22 +0200)
commit60063f1a3c92cecf05d9f4969f4ad564c7075513
treecbd2c4ea543ab3c71d141290cd6229137740b643
parent35a22685d018650b906802890787cbff142e9ec1
isl_tab_pip.c: set_row_cst_to_div: don't assume coefficient of div is zero

The function is supposed to increment the coefficient of the given
div by one, but instead it would simply set the coefficient to one.
This is fine if the div is new and therefore has a zero coefficient,
but it does not work if the div already appeared in the constraint.

Reported-by: Armin Größlinger <armin.groesslinger@uni-passau.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c
isl_test.c