diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-15 23:31:41 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-15 23:35:21 +0200 |
| commit | cefacc2c85eea8c5e396628c15008611adb2545f (patch) | |
| tree | 24a8837df7647072fc5b9a200b60aad99a588b14 /isl_tab_pip.c | |
| parent | d3d9705b2cf46d8e7800b8c489511528b07136d2 (diff) | |
| download | isl-cefacc2c85eea8c5e396628c15008611adb2545f.tar.gz isl-cefacc2c85eea8c5e396628c15008611adb2545f.tar.bz2 isl-cefacc2c85eea8c5e396628c15008611adb2545f.zip | |
isl_tab_pip.c: compare all coefficients when checking for duplicate divs
Due to a typo, we would not consider the last coefficient of the div,
possibly resulting in a new div being identified with an existing
div that only differs in that last coefficient.
Apparently, this doesn't happen very often, because it has gone
unnoticed for quite a while.
Diffstat (limited to 'isl_tab_pip.c')
| -rw-r--r-- | isl_tab_pip.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 46980714..3c440868 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -1788,7 +1788,7 @@ static int find_div(struct isl_tab *tab, isl_int *div, isl_int denom) for (i = 0; i < tab->bmap->n_div; ++i) { if (isl_int_ne(tab->bmap->div[i][0], denom)) continue; - if (!isl_seq_eq(tab->bmap->div[i] + 1, div, total)) + if (!isl_seq_eq(tab->bmap->div[i] + 1, div, 1 + total)) continue; return i; } |