From 19df8d3f471f7f3a6814da3e155330c9ca1c89a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 11 Jul 2023 10:45:18 +0200
Subject: [PATCH] [Eva] Removes some uses of legacy callstack.
---
src/plugins/eva/engine/compute_functions.ml | 2 +-
src/plugins/eva/gui/gui_callstacks_filters.ml | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/engine/compute_functions.ml b/src/plugins/eva/engine/compute_functions.ml
index 18e7f1051e1..3ec8ff93ca4 100644
--- a/src/plugins/eva/engine/compute_functions.ml
+++ b/src/plugins/eva/engine/compute_functions.ml
@@ -240,7 +240,7 @@ module Make (Abstract: Abstractions.S_with_evaluation) = struct
if pp then
Self.feedback
"@[computing for function %a.@\nCalled from %a.@]"
- Value_types.Callstack.pretty_short (Callstack.to_legacy call.callstack)
+ Callstack.pretty_short call.callstack
Cil_datatype.Location.pretty (Cil_datatype.Kinstr.loc kinstr);
let cvalue_state = get_cvalue_or_top state in
let compute, kind =
diff --git a/src/plugins/eva/gui/gui_callstacks_filters.ml b/src/plugins/eva/gui/gui_callstacks_filters.ml
index e4557f177e6..6db98f59ade 100644
--- a/src/plugins/eva/gui/gui_callstacks_filters.ml
+++ b/src/plugins/eva/gui/gui_callstacks_filters.ml
@@ -26,7 +26,7 @@ type rcallstack = Value_types.callstack
let empty = []
-let from_callstack cs = List.rev (Callstack.to_legacy cs)
+let from_callstack cs = Callstack.to_call_list cs
let callstack_matches_callstack (rcs1:rcallstack) (rcs2:rcallstack) =
let rec aux q1 q2 = match q1, q2 with
--
GitLab