isl_vertices.c: tab_for_shifted_cone: allocate room for equality constraints
commit31e3071bfd1324887f173449b2c82a6f7ba9570d
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 28 Nov 2016 15:26:19 +0000 (28 16:26 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 28 Nov 2016 15:26:19 +0000 (28 16:26 +0100)
tree87a69bee1feaa726b897117e8e370f90c3f54bcb
parenta7009b33321361f2ac54b034465fc7333e43b80d
isl_vertices.c: tab_for_shifted_cone: allocate room for equality constraints

The function tab_for_shifted_cone constructs a tableau from
both the equality and the inequality constraints of a basic set,
but it would only allocate room for the inequality constraints.
The function may not actually get called on a basic set
with equality constraints in the current code base, but
it should handle them consistently.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_vertices.c