isl_map_simplify.c: handle overflow in round_up
commite9e8dd93f057587e295fb9fb75721ae38076c722
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 20 Feb 2015 10:50:37 +0000 (20 11:50 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 20 Feb 2015 12:20:08 +0000 (20 13:20 +0100)
treed0aa49594a65bbc5196c0bcad8fd691a1f52a319
parent610b4d5a919a9f5376850f556e39a115b554ad84
isl_map_simplify.c: handle overflow in round_up

If the number of integer divisions or inequalities is extremely large,
then round_up may in theory return 0, although it is far more likely
that memory will have been exhausted first.  Handle this extreme case
anyway.

Detected by a scan_build on Polly.

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