Rename Digest.compatible -> accounted_for

goblint · Dec 5, 2023 · bda139f · bda139f
1 parent 05198f9
commit bda139f
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/src/analyses/apron/relationPriv.apron.ml b/src/analyses/apron/relationPriv.apron.ml
@@ -864,7 +864,7 @@ struct
   let get_relevant_writes (ask:Q.ask) m v =
     let current = Digest.current ask in
     GMutex.fold (fun k v acc ->
-        if Digest.compatible ask current k then
+        if Digest.accounted_for ask ~current ~other:k then
           LRD.join acc (Cluster.keep_only_protected_globals ask m v)
         else
           acc

diff --git a/src/analyses/basePriv.ml b/src/analyses/basePriv.ml
@@ -425,7 +425,7 @@ struct
     let current = Digest.current ask in
     let is_in_Gm x _ = is_protected_by ~protection:Weak ask m x in
     GMutex.fold (fun k v acc ->
-        if Digest.compatible ask current k then
+        if Digest.accounted_for ask ~current ~other:k then
           CPA.join acc (CPA.filter is_in_Gm v)
         else
           acc

diff --git a/src/analyses/commonPriv.ml b/src/analyses/commonPriv.ml
@@ -159,7 +159,7 @@ sig
   include Printable.S
 
   val current: Q.ask -> t
-  val compatible: Q.ask -> t -> t -> bool
+  val accounted_for: Q.ask -> current:t -> other:t -> bool
 end
 
 module ThreadDigest: Digest =
@@ -171,7 +171,7 @@ struct
   let current (ask: Q.ask) =
     ThreadId.get_current ask
 
-  let compatible (ask: Q.ask) (current: t) (other: t) =
+  let accounted_for (ask: Q.ask) ~(current: t) ~(other: t) =
     match current, other with
     | `Lifted current, `Lifted other ->
       if TID.is_unique current && TID.equal current other then
@@ -247,7 +247,7 @@ struct
   let get_relevant_writes_nofilter (ask:Q.ask) v =
     let current = Digest.current ask in
     GMutex.fold (fun k v acc ->
-        if Digest.compatible ask current k then
+        if Digest.accounted_for ask ~current ~other:k then
           LD.join acc v
         else
           acc