Variable (goblint.Goblint_lib.ExtractPthread.Variable)

type t = GoblintCil.Cil.varinfo

val is_integral : GoblintCil.Cil.varinfo -> bool

val is_global : GoblintCil.Cil.varinfo -> bool

val is_mem : GoblintCil.Cil.varinfo -> bool

val make_from_lhost : GoblintCil.Cil.lhost -> GoblintCil.Cil.varinfo option

val make_from_lval : 
  (GoblintCil.Cil.lhost * 'a) ->
  GoblintCil.Cil.varinfo option

val show : GoblintCil.Cil.varinfo -> string

val show_def : GoblintCil.Cil.varinfo -> string