From 2b976bf57708103c4078bd80425161eed42a7a73 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 21 Nov 2011 09:39:34 +0100 Subject: [PATCH] scan.cc: update comment of valid_for_each_iteration Missed in 1afbde2 (allow loop increments different from one, Fri Jul 29 18:02:26 2011 +0200). Signed-off-by: Sven Verdoolaege --- scan.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scan.cc b/scan.cc index 2e1673d..8ea2579 100644 --- a/scan.cc +++ b/scan.cc @@ -1677,9 +1677,9 @@ static bool is_simple_bound(__isl_keep isl_set *cond, isl_int inc) /* Extend a condition on a given iteration of a loop to one that * imposes the same condition on all previous iterations. * "domain" expresses the lower [upper] bound on the iterations - * when up is set [not set]. + * when inc is positive [negative]. * - * In particular, we construct the condition (when up is set) + * In particular, we construct the condition (when inc is positive) * * forall i' : (domain(i') and i' <= i) => cond(i') * -- 2.11.4.GIT