Up – Package index » goblint » Library goblint.lib » CommonPriv » ExplicitMutexGlobals

Module `CommonPriv.ExplicitMutexGlobals`

include module type of struct include MutexGlobalsBase end

val mutex_addr_to_varinfo : LockDomain.Addr.t -> CilType.Varinfo.t

val mutex_global : Prelude.Ana.varinfo -> Prelude.Ana.varinfo