isl_set_min_val: compute minimum of minima
commitf83fdcf0c6b0b03f51968c06bdc940f04c71deab
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 4 Dec 2013 08:57:04 +0000 (4 09:57 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 4 Dec 2013 09:10:09 +0000 (4 10:10 +0100)
tree222808b7d69837ff9c593108b1bbc602cf684a78
parent171cbde75e86c5aa1b5a2b8880a34085080f713c
isl_set_min_val: compute minimum of minima

If the input consists of multiple basic sets, then the original
implementation would mistakenly compute the maximum of the minima.

Reported-by: Sven Wuytack <sven.wuytack@retarget.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ilp.c
isl_test.c