diff --git a/src/plugins/inout/cumulative_analysis.ml b/src/plugins/inout/cumulative_analysis.ml
index 5381137ce69085bf124554bfc4163c28d2f5b422..0d8962a6766510eacbbbfb7d2f486815cead39cf 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 20af7014d751d1abcfc4780d08d4db993d884515..bbb589d3f23e9598a0345b40a85e7ae7c7cf5858 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 =