isl_tab_pip.c: always set row sign of found row to isl_tab_row_neg
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 2 Apr 2010 10:13:22 +0000 (12:13 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 2 Apr 2010 10:13:22 +0000 (12:13 +0200)
commit8b77e25456e0dc54cbf8cc79422c0e102354a48b
tree2a8ee7d9b75d87030d6536beabbf2bed3e975c8d
parentebc5d6d19b93cff8e8b774cc8fd801446508df7e
isl_tab_pip.c: always set row sign of found row to isl_tab_row_neg

first_neg returns row that is obviously negative and usually
sets the sign of the row to isl_tab_row_neg.  However, if
the row happens to be obviously negative because the big parameter
has a negative coefficient, then it would fail to set the row sign,
while update_row_sign check that the row sign is effectively set
to isl_tab_row_neg.
isl_tab_pip.c