From 18a87f6ef6cafacd23ac4d5c45df3568e04620d9 Mon Sep 17 00:00:00 2001 From: Julian Erhard Date: Tue, 28 Nov 2023 10:52:29 +0100 Subject: [PATCH] Add is_modular function back to fix compilation --- src/analyses/base.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/analyses/base.ml b/src/analyses/base.ml index 64c4134647..facf608fa8 100644 --- a/src/analyses/base.ml +++ b/src/analyses/base.ml @@ -91,6 +91,10 @@ struct let is_privglob v = GobConfig.get_bool "annotation.int.privglobs" && v.vglob + let is_modular ctx = + let ask = Analyses.ask_of_ctx ctx in + ask.f Queries.IsModular + (*This is a bit of a hack to be able to change array domains if a pointer to an array is given as an argument*) (*We have to prevent different domains to be used at the same time for the same array*) (*After a function call, the domain has to be the same as before and we can not depend on the pointers staying the same*)