avoid increasing "extra" without also extending the div array
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Dec 2008 14:00:07 +0000 (15:00 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Dec 2008 14:00:07 +0000 (15:00 +0100)
commit2b37b4aa395a360f691bb07751123dcd4388a1c6
treebcb9015973069ee016792ba8a6426abc804b5520
parent3eec478353729cbd4ff1b0e424a22c1803af9ab5
avoid increasing "extra" without also extending the div array

The "extra" variable is used to indicate both the number
of extra variables in the columns beyond those in dim
and the number of rows in the div array.
We can therefore not increase extra, without also extending this array.
isl_map.c
isl_mat.c