From 497eb424123e5ce35f31b8c257274c220ba01910 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 20 Feb 2023 09:15:01 +0100
Subject: [PATCH] [Eva] avoid unscoped Cil.DoChildren
---
src/plugins/eva/api/general_requests.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
index fede8dc75f5..b6a4ff86264 100644
--- a/src/plugins/eva/api/general_requests.ml
+++ b/src/plugins/eva/api/general_requests.ml
@@ -378,12 +378,12 @@ module LvalueTaints = struct
method! vlval lval =
let expr = expr_of_lval lval in
match self#current_stmt with
- | None -> DoChildren
+ | None -> Cil.DoChildren
| Some stmt ->
match Results.after stmt |> EvaTaints.evaluate expr with
| Some (Results.Untainted, _) -> DoChildren
- | Some (t, _) -> Table.add taints lval (Kstmt stmt, t) ; DoChildren
- | None -> DoChildren
+ | Some (t, _) -> Table.add taints lval (Kstmt stmt, t) ; Cil.DoChildren
+ | None -> Cil.DoChildren
end
let get_tainted_lvals fundec =
--
GitLab