isl_Polyhedron_Reduced_Basis: avoid double free of barvinok_options
In
6702a6a (avoid use of isl_ctx internals, Wed Mar 16 16:25:11 2011 +0100),
isl_Polyhedron_Reduced_Basis was changed to update
options->isl->gbr_only_first and the to pass the barvinok_options
to isl_ctx_alloc_with_options. This will make the resuling isl_ctx
own the barvinok_options, which are then also freed when the isl_ctx
is freed, even though it may and in fact is reused in the very
same function after ths isl_ctx is freed. Apparently, this change
was never tested.
In
f387b45 (update isl for hiding of isl_options,
Fri Nov 11 11:33:25 2011 +0100), the function was further changed
to update the gbr_only_first isl option after the isl_ctx is created.
There is therefore no longer any need to pass the barvinok_options
to isl_ctx_alloc_with_options and we can simply call isl_ctx_alloc instead.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>