projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8e177b5
)
isl_convex_hull.c: avoid side-effects in calls to isl_int_* macros
author
Sven Verdoolaege
<skimo@kotnet.org>
Mon, 5 Jul 2010 08:00:56 +0000
(10:00 +0200)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Mon, 5 Jul 2010 08:01:04 +0000
(10:01 +0200)
isl_convex_hull.c
patch
|
blob
|
history
diff --git
a/isl_convex_hull.c
b/isl_convex_hull.c
index
75b0286
..
663f142
100644
(file)
--- a/
isl_convex_hull.c
+++ b/
isl_convex_hull.c
@@
-1074,23
+1074,25
@@
static struct isl_basic_set *valid_direction_lp(
if (k < 0)
goto error;
n = 0;
if (k < 0)
goto error;
n = 0;
- isl_int_set_si(lp->eq[k][n
++], 0)
;
+ isl_int_set_si(lp->eq[k][n
], 0); n++
;
/* positivity constraint 1 >= 0 */
/* positivity constraint 1 >= 0 */
- isl_int_set_si(lp->eq[k][n
++], i == 0)
;
+ isl_int_set_si(lp->eq[k][n
], i == 0); n++
;
for (j = 0; j < bset1->n_eq; ++j) {
for (j = 0; j < bset1->n_eq; ++j) {
- isl_int_set(lp->eq[k][n++], bset1->eq[j][i]);
- isl_int_neg(lp->eq[k][n++], bset1->eq[j][i]);
+ isl_int_set(lp->eq[k][n], bset1->eq[j][i]); n++;
+ isl_int_neg(lp->eq[k][n], bset1->eq[j][i]); n++;
+ }
+ for (j = 0; j < bset1->n_ineq; ++j) {
+ isl_int_set(lp->eq[k][n], bset1->ineq[j][i]); n++;
}
}
- for (j = 0; j < bset1->n_ineq; ++j)
- isl_int_set(lp->eq[k][n++], bset1->ineq[j][i]);
/* positivity constraint 1 >= 0 */
/* positivity constraint 1 >= 0 */
- isl_int_set_si(lp->eq[k][n
++], -(i == 0))
;
+ isl_int_set_si(lp->eq[k][n
], -(i == 0)); n++
;
for (j = 0; j < bset2->n_eq; ++j) {
for (j = 0; j < bset2->n_eq; ++j) {
- isl_int_neg(lp->eq[k][n++], bset2->eq[j][i]);
- isl_int_set(lp->eq[k][n++], bset2->eq[j][i]);
+ isl_int_neg(lp->eq[k][n], bset2->eq[j][i]); n++;
+ isl_int_set(lp->eq[k][n], bset2->eq[j][i]); n++;
+ }
+ for (j = 0; j < bset2->n_ineq; ++j) {
+ isl_int_neg(lp->eq[k][n], bset2->ineq[j][i]); n++;
}
}
- for (j = 0; j < bset2->n_ineq; ++j)
- isl_int_neg(lp->eq[k][n++], bset2->ineq[j][i]);
}
lp = isl_basic_set_gauss(lp, NULL);
isl_basic_set_free(bset1);
}
lp = isl_basic_set_gauss(lp, NULL);
isl_basic_set_free(bset1);
@@
-1150,7
+1152,7
@@
static struct isl_vec *valid_direction(
isl_seq_clr(dir->block.data + 1, dir->size - 1);
n = 1;
/* positivity constraint 1 >= 0 */
isl_seq_clr(dir->block.data + 1, dir->size - 1);
n = 1;
/* positivity constraint 1 >= 0 */
- isl_int_set(dir->block.data[0], sample->block.data[n
++])
;
+ isl_int_set(dir->block.data[0], sample->block.data[n
]); n++
;
for (i = 0; i < bset1->n_eq; ++i) {
isl_int_sub(sample->block.data[n],
sample->block.data[n], sample->block.data[n+1]);
for (i = 0; i < bset1->n_eq; ++i) {
isl_int_sub(sample->block.data[n],
sample->block.data[n], sample->block.data[n+1]);