From e361576f3affac9ccef21543db61f7dfc88f6e5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 1 Apr 2022 11:55:16 +0200
Subject: [PATCH] [scope] Uses Eva.Results instead of Db.Value.

---
 src/plugins/scope/zones.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/plugins/scope/zones.ml b/src/plugins/scope/zones.ml
index 5106189940f..aa02df158d8 100644
--- a/src/plugins/scope/zones.ml
+++ b/src/plugins/scope/zones.ml
@@ -65,11 +65,11 @@ let compute_new_data old_zone l_zone l_dpds exact r_dpds =
   else (false, old_zone)
 
 let get_lval_zones ~for_writing stmt lval =
-  let state = Db.Value.get_stmt_state stmt in
-  let dpds, zone, exact =
-    !Db.Value.lval_to_zone_with_deps_state
-      state ~deps:(Some Locations.Zone.bottom) ~for_writing lval
-  in
+  let request = Eva.Results.before stmt in
+  let address = Eva.Results.eval_address ~for_writing lval request in
+  let zone = Eva.Results.as_zone address in
+  let exact = Eva.Results.is_singleton address in
+  let dpds = Eva.Results.address_deps lval request in
   dpds, exact, zone
 
 (* the call result can be processed like a normal assignment *)
-- 
GitLab