isl_map_eliminate: check for overflow in computation of last dimension
commit3732ce7c635894329acf95bb55a981d671664f23
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 27 Jul 2012 15:17:38 +0000 (27 17:17 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 27 Jul 2012 16:17:54 +0000 (27 18:17 +0200)
treecddadfb7a1f884489f36327c1ca6357ae8431232
parent0f874bcc590759b70db128d85d4609df65f1981e
isl_map_eliminate: check for overflow in computation of last dimension

In particular, if the computation of the last dimension overflows,
then at least one of the dimensions is out of bounds.

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