As the comment above the function explains, the domain should not
be simplified. Unfortunately, an isl_basic_set_simplify snuck in
in 8b88ebf (isl_tab_pip.c: remove some code duplication between
isl_map_add and isl_for_add, Fri Oct 16 14:10:59 2009 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
if (sol->sol.error || !dom || !M)
goto error;
- dom = isl_basic_set_simplify(dom);
dom = isl_basic_set_finalize(dom);
if (sol->fn(isl_basic_set_copy(dom), isl_mat_copy(M), sol->user) < 0)