From 05198f9640c3b39f8d7e2d661f76904c76f52d9a Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Thu, 30 Nov 2023 13:35:36 +0200 Subject: [PATCH] Avoid MustJoinedThreads query in ThreadDigest if not needed --- src/analyses/commonPriv.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/analyses/commonPriv.ml b/src/analyses/commonPriv.ml index 23ed36f7fb..2e7ed570fd 100644 --- a/src/analyses/commonPriv.ml +++ b/src/analyses/commonPriv.ml @@ -172,14 +172,13 @@ struct ThreadId.get_current ask let compatible (ask: Q.ask) (current: t) (other: t) = - let must_joined = ask.f Queries.MustJoinedThreads in match current, other with | `Lifted current, `Lifted other -> - if (TID.is_unique current) && (TID.equal current other) then + if TID.is_unique current && TID.equal current other then false (* self-read *) else if GobConfig.get_bool "ana.relation.priv.not-started" && MHP.definitely_not_started (current, ask.f Q.CreatedThreads) other then false (* other is not started yet *) - else if GobConfig.get_bool "ana.relation.priv.must-joined" && MHP.must_be_joined other must_joined then + else if GobConfig.get_bool "ana.relation.priv.must-joined" && MHP.must_be_joined other (ask.f Queries.MustJoinedThreads) then false (* accounted for in local information *) else true