threadAnalysis: Only add definite tids to set of mustJoined thread

goblint · Nov 1, 2023 · 1d55756 · 1d55756
1 parent 031dde1
commit 1d55756
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/analyses/threadAnalysis.ml b/src/analyses/threadAnalysis.ml
@@ -61,7 +61,8 @@ struct
            s
        in
        match TS.elements (ctx.ask (Queries.EvalThread id)) with
-       | threads -> List.fold_left join_thread ctx.local threads
+       | [t] -> join_thread ctx.local t (* single thread *)
+       | _ -> ctx.local (* if several possible threads are may-joined, none are must-joined *)
        | exception SetDomain.Unsupported _ -> ctx.local)
     | _ -> ctx.local