From c64fc9709b87105d0998bce3fb38b67239414885 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 17 Mar 2022 10:56:35 +0100
Subject: [PATCH] [Eva] API: the results status is Partial until the analysis
is complete.
---
src/plugins/value/engine/analysis.ml | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/plugins/value/engine/analysis.ml b/src/plugins/value/engine/analysis.ml
index eb872274dc2..45dbe9a1765 100644
--- a/src/plugins/value/engine/analysis.ml
+++ b/src/plugins/value/engine/analysis.ml
@@ -33,7 +33,11 @@ let self = Self.state
type results = Function_calls.results = Complete | Partial | NoResults
type status = Function_calls.analysis_status =
Unreachable | SpecUsed | Builtin of string | Analyzed of results
-let status = Function_calls.analysis_status
+let status kf =
+ match Function_calls.analysis_status kf with
+ | Analyzed Complete as status ->
+ if is_computed () then status else Analyzed Partial
+ | status -> status
let use_spec_instead_of_definition =
Function_calls.use_spec_instead_of_definition ?recursion_depth:None
--
GitLab