From a6e57d66cf7002b92074431c6c35dd63da26c1c4 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 20 Jan 2021 20:01:22 +0100
Subject: [PATCH] [aorai] only move automaton for observable functions in
dataflow
---
src/plugins/aorai/aorai_dataflow.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/aorai/aorai_dataflow.ml b/src/plugins/aorai/aorai_dataflow.ml
index 35cd5f132a0..63a0214b2a2 100644
--- a/src/plugins/aorai/aorai_dataflow.ml
+++ b/src/plugins/aorai/aorai_dataflow.ml
@@ -430,7 +430,7 @@ module Computer(I: Init) = struct
let do_call s f args (state,loops as d) =
let kf = Globals.Functions.get f in
- if Data_for_aorai.isIgnoredFunction kf
+ if not (Data_for_aorai.isObservableFunction kf)
then d (* we simply skip ignored functions. *)
else begin
set_call_state s state;
--
GitLab