When isl_constraint_add_div was introduced in 3fcebd4 (isl_constraint:
add limited support for adding divs), the equalities were still placed
before the inequalities in the constraint matrix.
This changed in 9eb1488 (isl_basic_map: put inequalities before equalities),
but the implementation of isl_constraint_add_div was not adapted accordingly.
This has probably gone unnoticed because isl_constraint_add_div has only
been used on equality constraints.
isl_dim_copy(constraint->bmap->dim), 1, 0, 0);
if (!constraint->bmap)
goto error;
- constraint->line = &constraint->bmap->eq[0];
+ constraint->line = &constraint->bmap->ineq[0];
*pos = isl_basic_map_alloc_div(constraint->bmap);
if (*pos < 0)
goto error;