From 6825225771d7c3e6b994996dc75bd7aa95b46c64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 8 Apr 2020 10:05:28 +0200
Subject: [PATCH] [Eva] Fixes a comment of the automatic loop unrolling.
---
src/plugins/value/partitioning/auto_loop_unroll.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/partitioning/auto_loop_unroll.ml b/src/plugins/value/partitioning/auto_loop_unroll.ml
index 9ede36c8b41..377662d8cf9 100644
--- a/src/plugins/value/partitioning/auto_loop_unroll.ml
+++ b/src/plugins/value/partitioning/auto_loop_unroll.ml
@@ -147,7 +147,7 @@ let classify loop_effect lval =
else
(* If the address of the variable is taken, it could be modified within
the loop. We suppose here that this is not the case, but this could
- lead to some loop unrolling. *)
+ lead to some untimely loop unrolling. *)
Constant
| Mem _, _ -> Unsuitable (* Pointers are not supported by the heuristic. *)
and is_const_offset = function
--
GitLab