From a5f00116cc554b88968a5ba105613fcfd532af94 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 18 Jul 2022 20:34:55 +0200
Subject: [PATCH] [Eva] Utils: slightly improves the precision of
[zone_of_expr].
---
src/plugins/eva/utils/eva_utils.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/eva/utils/eva_utils.ml b/src/plugins/eva/utils/eva_utils.ml
index 4f28347df9a..a1ea4f6e298 100644
--- a/src/plugins/eva/utils/eva_utils.ml
+++ b/src/plugins/eva/utils/eva_utils.ml
@@ -300,8 +300,7 @@ let rec zone_of_expr find_loc expr =
then its contents themselves are read *)
and zone_of_lval find_loc lval =
let ploc = find_loc lval in
- let loc = Precise_locs.imprecise_location ploc in
- let zone = Locations.(enumerate_valid_bits Read loc) in
+ let zone = Precise_locs.enumerate_valid_bits Read ploc in
Locations.Zone.join zone
(indirect_zone_of_lval find_loc lval)
--
GitLab