Use multiple also in bot case

Co-authored-by: Simmo Saan <[email protected]>
goblint · Nov 4, 2024 · 1bb50df · 1bb50df
1 parent c0d51c3
commit 1bb50df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/threadAnalysis.ml b/src/analyses/threadAnalysis.ml
@@ -106,7 +106,7 @@ struct
       match creator with
       | `Lifted ctid -> (repeated || multiple, TS.singleton ctid, false)
       | `Top         -> (true, TS.bot (), false)
-      | `Bot         -> (false || multiple, TS.bot (), false)
+      | `Bot         -> (multiple, TS.bot (), false)
     in
     ctx.sideg tid eff;
     D.join ctx.local (D.singleton tid)