[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

@@ -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
       )

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 =