From 310e1b0581440da5245d8766c40fe59410b17467 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 15 Sep 2020 16:03:05 +0200
Subject: [PATCH] [Eva] do not export Eva_annotations.get_* functions
---
src/plugins/value/Eva.mli | 8 --------
1 file changed, 8 deletions(-)
diff --git a/src/plugins/value/Eva.mli b/src/plugins/value/Eva.mli
index c603b3c16d5..5608c7dbe0a 100644
--- a/src/plugins/value/Eva.mli
+++ b/src/plugins/value/Eva.mli
@@ -83,14 +83,6 @@ module Eva_annotations: sig
| FlowSplit of Cil_types.term
| FlowMerge of Cil_types.term
- type allocation_kind = By_stack | Fresh | Fresh_weak | Imprecise
-
- val get_slevel_annot : Cil_types.stmt -> slevel_annotation option
- val get_unroll_annot : Cil_types.stmt -> unroll_annotation list
- val get_flow_annot : Cil_types.stmt -> flow_annotation list
- val get_subdivision_annot : Cil_types.stmt -> int list
- val get_allocation: Cil_types.stmt -> allocation_kind
-
val add_slevel_annot : emitter:Emitter.t -> loc:Cil_types.location ->
Cil_types.stmt -> slevel_annotation -> unit
val add_unroll_annot : emitter:Emitter.t -> loc:Cil_types.location ->
--
GitLab