From 1b6e71a5ca577b2034344207af2e373bbfb7c411 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 18 Jul 2022 18:41:01 +0200
Subject: [PATCH] [inout] Removes warnings on ignored recursive calls.
Eva does not ignore recursive calls anymore, and Db.Value.ignored_recursive_call
always returns false.
---
src/plugins/inout/cumulative_analysis.ml | 4 ----
src/plugins/inout/operational_inputs.ml | 11 +----------
2 files changed, 1 insertion(+), 14 deletions(-)
diff --git a/src/plugins/inout/cumulative_analysis.ml b/src/plugins/inout/cumulative_analysis.ml
index 5381137ce69..0d8962a6766 100644
--- a/src/plugins/inout/cumulative_analysis.ml
+++ b/src/plugins/inout/cumulative_analysis.ml
@@ -118,10 +118,6 @@ struct
method private compute_kf_with_def kf =
let f = Kernel_function.get_definition kf in
if List.exists (Kernel_function.equal kf) call_stack then (
- if Db.Value.ignored_recursive_call kf then
- Inout_parameters.warning ~current:true ~once:true
- "During %s analysis of %a: ignoring probable recursive call."
- X.analysis_name Kernel_function.pretty kf;
self#add_cycle (Kernel_function.Hptset.singleton kf);
self#bottom
)
diff --git a/src/plugins/inout/operational_inputs.ml b/src/plugins/inout/operational_inputs.ml
index 20af7014d75..bbb589d3f23 100644
--- a/src/plugins/inout/operational_inputs.ml
+++ b/src/plugins/inout/operational_inputs.ml
@@ -743,16 +743,7 @@ module FunctionWise = struct
let stmt_state s = Db.Value.get_stmt_state s
let at_call stmt kf = get_external_aux ~stmt kf
end) in
- Stack.iter
- (fun g -> if kf == g then begin
- if Db.Value.ignored_recursive_call kf then
- Inout_parameters.warning ~current:true
- "During inout context analysis of %a:@ \
- ignoring probable recursive call."
- Kernel_function.pretty kf;
- raise Exit
- end)
- call_stack;
+ Stack.iter (fun g -> if kf == g then raise Exit) call_stack;
Stack.push kf call_stack;
let module [@warning "-60"] Compute =
--
GitLab