From 9641e64ec96fe1f6988752e687736f8a767b9e11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 18 Mar 2022 09:59:06 +0100
Subject: [PATCH] [Eva] Improves performance of values request by callstack.
---
src/plugins/value/api/values_request.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/api/values_request.ml b/src/plugins/value/api/values_request.ml
index a85d9720d60..05784f500b0 100644
--- a/src/plugins/value/api/values_request.ml
+++ b/src/plugins/value/api/values_request.ml
@@ -354,7 +354,7 @@ module Proxy(A : Analysis.S) : EvaProxy = struct
let dstate ~after stmt = function
| None -> (A.get_stmt_state ~after stmt :> dstate)
| Some cs ->
- match A.get_stmt_state_by_callstack ~after stmt with
+ match A.get_stmt_state_by_callstack ~selection:[cs] ~after stmt with
| (`Top | `Bottom) as res -> res
| `Value cmap ->
try `Value (CSmap.find cmap cs)
--
GitLab