diff options
| author | Sven Verdoolaege <skimo@r900-01.futurs.inria.fr> | 2010-05-30 16:34:08 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-05-30 17:24:02 +0200 |
| commit | c99c8c9459bb142dcba40d16efe4f88c4bbadd84 (patch) | |
| tree | d7fc71d65275419f8129fd3ea8f6775d20398ff0 /isl_tab.c | |
| parent | 8113984dd153adf8555b9be486e02fa6d238ebb6 (diff) | |
| download | isl-c99c8c9459bb142dcba40d16efe4f88c4bbadd84.tar.gz isl-c99c8c9459bb142dcba40d16efe4f88c4bbadd84.tar.bz2 isl-c99c8c9459bb142dcba40d16efe4f88c4bbadd84.zip | |
fix some icc warnings
Diffstat (limited to 'isl_tab.c')
| -rw-r--r-- | isl_tab.c | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -742,6 +742,8 @@ int isl_tab_row_is_redundant(struct isl_tab *tab, int row) static void swap_rows(struct isl_tab *tab, int row1, int row2) { int t; + enum isl_tab_row_sign s; + t = tab->row_var[row1]; tab->row_var[row1] = tab->row_var[row2]; tab->row_var[row2] = t; @@ -751,9 +753,9 @@ static void swap_rows(struct isl_tab *tab, int row1, int row2) if (!tab->row_sign) return; - t = tab->row_sign[row1]; + s = tab->row_sign[row1]; tab->row_sign[row1] = tab->row_sign[row2]; - tab->row_sign[row2] = t; + tab->row_sign[row2] = s; } static int push_union(struct isl_tab *tab, @@ -1643,7 +1645,7 @@ int isl_tab_add_row(struct isl_tab *tab, isl_int *line) isl_int_clear(b); if (tab->row_sign) - tab->row_sign[tab->con[r].index] = 0; + tab->row_sign[tab->con[r].index] = isl_tab_row_unknown; return r; } |