From add497d81f70ae13a988895a0b86903420224139 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 30 Jan 2020 17:28:21 +0100
Subject: [PATCH] [Eva] Eval_term: fixes a comment.
---
src/plugins/value/legacy/eval_terms.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/value/legacy/eval_terms.ml b/src/plugins/value/legacy/eval_terms.ml
index cc731160df4..13867fb6971 100644
--- a/src/plugins/value/legacy/eval_terms.ml
+++ b/src/plugins/value/legacy/eval_terms.ml
@@ -388,8 +388,7 @@ let infer_binop_res_type op targ =
| Lt | Gt | Le | Ge | Eq | Ne | LAnd | LOr ->
Cil.intType (* those operators always return a boolean *)
-(* This function could probably be in Logic_utils. It computes [*tsets],
- assuming that [tsets] has a pointer type. *)
+(* Computes [*tsets], assuming that [tsets] has a pointer type. *)
let deref_tsets tsets = Cil.mkTermMem ~addr:tsets ~off:TNoOffset
--
GitLab