Skip to content

Commit

Permalink
Add names to mutex-meet-tid components
Browse files Browse the repository at this point in the history
  • Loading branch information
sim642 committed Dec 14, 2023
1 parent 28bc738 commit a322785
Showing 1 changed file with 11 additions and 3 deletions.
14 changes: 11 additions & 3 deletions src/analyses/commonPriv.ml
Original file line number Diff line number Diff line change
Expand Up @@ -113,7 +113,11 @@ end

module Locksets =
struct
module Lock = LockDomain.Addr
module Lock =
struct
include LockDomain.Addr
let name () = "lock"
end

module Lockset = SetDomain.ToppedSet (Lock) (struct let topname = "All locks" end)

Expand Down Expand Up @@ -183,7 +187,7 @@ struct

module LLock =
struct
include Printable.Either (Locksets.Lock) (CilType.Varinfo)
include Printable.Either (Locksets.Lock) (struct include CilType.Varinfo let name () = "global" end)
let mutex m = `Left m
let global x = `Right x
end
Expand All @@ -195,7 +199,11 @@ struct
end

(* Map from locks to last written values thread-locally *)
module L = MapDomain.MapBot_LiftTop (LLock) (LD)
module L =
struct
include MapDomain.MapBot_LiftTop (LLock) (LD)
let name () = "L"
end
module GMutex = MapDomain.MapBot_LiftTop (ThreadIdDomain.ThreadLifted) (LD)
module GThread = Lattice.Prod (LMust) (L)

Expand Down

0 comments on commit a322785

Please sign in to comment.