diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2010-04-02 12:13:22 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-04-02 12:13:22 +0200 |
| commit | 8b77e25456e0dc54cbf8cc79422c0e102354a48b (patch) | |
| tree | 2a8ee7d9b75d87030d6536beabbf2bed3e975c8d /isl_tab.c | |
| parent | ebc5d6d19b93cff8e8b774cc8fd801446508df7e (diff) | |
| download | isl-8b77e25456e0dc54cbf8cc79422c0e102354a48b.tar.gz isl-8b77e25456e0dc54cbf8cc79422c0e102354a48b.tar.bz2 isl-8b77e25456e0dc54cbf8cc79422c0e102354a48b.zip | |
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.
Diffstat (limited to 'isl_tab.c')
0 files changed, 0 insertions, 0 deletions