diff --git a/src/plugins/eva/utils/eva_utils.ml b/src/plugins/eva/utils/eva_utils.ml
index 4f28347df9aabdbb1b256d5f27b248070e4d4a5b..a1ea4f6e298a456a13947760ae0e3c3d7c15f6f8 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)