clast.c: only update lower bounds during the construction of a lower bound
commit2a95917c8a6ecd52d097f7a8d0adb1dcbf87784d
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 10 Aug 2010 13:02:57 +0000 (10 15:02 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 10 Aug 2010 13:02:57 +0000 (10 15:02 +0200)
tree26d8b9c34d809ab4620f41a9876177ed527c325a
parent438485d20942ae54b61be2c393ab8f5c027e403b
clast.c: only update lower bounds during the construction of a lower bound

The clast_minmax function is used both from within insert_guard_constraint
and insert_for.  It's only from within insert_for that a lower bound is
computed and that this lower bound should be updated.
In fact, within insert_guard_constraint, clast_minmax may be used
to compute a guard on a parameter and then the code for checking
whether an update is needed would access elements of the stride
array beyond its bounds.

Problem reported by Tobias Grosser <grosser@fim.uni-passau.de>.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
source/clast.c