Top indices in mutex analysis

goblint · Oct 12, 2023 · a00ee57 · a00ee57
1 parent d9afd55
commit a00ee57
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/analyses/mutexAnalysis.ml b/src/analyses/mutexAnalysis.ml
@@ -147,6 +147,9 @@ struct
     end
 
     let add ctx (l:Mutexes.elt*bool) =
+      let (m, b) = l in
+      let m = Addr.top_indices m in
+      let l = (m, b) in
       let s,m = ctx.local in
       let s' = Lockset.add l s in
       match Addr.to_mval (fst l) with