From cd12fb84870bacd3319add0ad85ae1ec7a3b4d84 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 16 Nov 2021 15:36:03 +0100
Subject: [PATCH] [Aorai] Do not use Db, but directly find the current state
value in the cvalue model
---
src/plugins/aorai/aorai_eva_analysis.enabled.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/aorai/aorai_eva_analysis.enabled.ml b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
index 8b007c55b15..f95b747b5e7 100644
--- a/src/plugins/aorai/aorai_eva_analysis.enabled.ml
+++ b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
@@ -25,7 +25,7 @@
let show_aorai_variable state fmt var_name =
let vi = Data_for_aorai.(get_varinfo var_name) in
- let cvalue = !Db.Value.eval_expr state (Cil.evar vi) in
+ let cvalue = Cvalue.Model.find state (Locations.loc_of_varinfo vi) in
try
let i = Ival.project_int (Cvalue.V.project_ival cvalue) in
let state_name = Data_for_aorai.getStateName (Integer.to_int_exn i) in
--
GitLab