- return;
-
- isl_assert(constraint->ctx, pos < n(constraint, type), return);
- isl_int_set_si(constraint->line[0][offset(constraint, type) + pos], v);
-}
-
-
-/* Check whether the two basic maps have identical divs in the same order.
- */
-static int equal_divs(__isl_keep isl_basic_map *bmap1,
- __isl_keep isl_basic_map *bmap2)
-{
- int i;
- unsigned total;
-
- if (!isl_basic_map_divs_known(bmap1))
- return 0;
- if (!isl_basic_map_divs_known(bmap2))
- return 0;
- if (bmap1->n_div != bmap2->n_div)
- return 0;
-
- total = isl_basic_map_total_dim(bmap1);
- for (i = 0; i < bmap1->n_div; ++i)
- if (!isl_seq_eq(bmap1->div[i], bmap2->div[i], 2 + total))
- return 0;
-
- return 1;
+ return NULL;
+ constraint->aff = isl_aff_set_coefficient_si(constraint->aff,
+ type, pos, v);
+ if (!constraint->aff)
+ return isl_constraint_free(constraint);
+ return constraint;