CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-12-21 16:29:05
Modified files:
src : rr_solver.cc
Log message:
Improved the functions `eliminate_null_decrements()' and
`eliminate_negative_decrements()' not using more the method
`Expr::match()'.
Fixed a bug in the function `eliminate_negative_decrements()'.
In the cases HAS_NEGATIVE_DECREMENT and HAS_NULL_DECREMENT of the
function `solve_try_hard()' called recursively the function
`solve_try_hard()' (and not `solve_easy_cases()' because in a
recurrence could be at the same time cases of null decrement and
cases of negative decrement).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…
