From a8979f018c86443fc0dfae03987463a70699f8f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 11 Feb 2022 11:44:50 +0100
Subject: [PATCH] [Eva] Results: removes function [after_kinstr].
---
src/plugins/value/Eva.mli | 2 --
src/plugins/value/utils/results.ml | 4 ----
src/plugins/value/utils/results.mli | 2 --
3 files changed, 8 deletions(-)
diff --git a/src/plugins/value/Eva.mli b/src/plugins/value/Eva.mli
index d71827450ce..75e6e742e82 100644
--- a/src/plugins/value/Eva.mli
+++ b/src/plugins/value/Eva.mli
@@ -108,8 +108,6 @@ module Results: sig
val after : Cil_types.stmt -> request
(** Just before a statement or at the start of the analysis. *)
val before_kinstr : Cil_types.kinstr -> request
- (** Just after a statement or at the end of analysis. *)
- val after_kinstr : Cil_types.kinstr -> request
(** Callstack selection *)
diff --git a/src/plugins/value/utils/results.ml b/src/plugins/value/utils/results.ml
index 00bdb7712ad..ea5c066bf7a 100644
--- a/src/plugins/value/utils/results.ml
+++ b/src/plugins/value/utils/results.ml
@@ -81,10 +81,6 @@ let before_kinstr = function
| Cil_types.Kglobal -> at_start
| Kstmt stmt -> before stmt
-let after_kinstr = function
- | Cil_types.Kglobal -> at_end
- | Kstmt stmt -> after stmt
-
let in_callstacks l req =
let set = Callstack.Set.of_list l in
{
diff --git a/src/plugins/value/utils/results.mli b/src/plugins/value/utils/results.mli
index 203bbbe3aa5..74e9b67936b 100644
--- a/src/plugins/value/utils/results.mli
+++ b/src/plugins/value/utils/results.mli
@@ -96,8 +96,6 @@ val before : Cil_types.stmt -> request
val after : Cil_types.stmt -> request
(** Just before a statement or at the start of the analysis. *)
val before_kinstr : Cil_types.kinstr -> request
-(** Just after a statement or at the end of analysis. *)
-val after_kinstr : Cil_types.kinstr -> request
(** Callstack selection *)
--
GitLab