Module DuplicateVars.Var

include module type of struct include VarType end

Variable Type used by the C-2PO Analysis. It contains normal variables with a varinfo as well as auxiliary variables for assignment and return and duplicated variables for remembering the value of variables at the beginning of a function.

val equal_typ : CilType.Typ.t -> CilType.Typ.t -> bool
val hash_typ : CilType.Typ.t -> int
val compare_typ : CilType.Typ.t -> CilType.Typ.t -> int
type t = VarType.t =
  1. | AssignAux of GoblintCil.typ
  2. | ReturnAux of GoblintCil.typ
  3. | NormalVar of CilType.Varinfo.t
  4. | DuplicVar of CilType.Varinfo.t
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val from_varinfo : CilType.Varinfo.t list -> CilType.Varinfo.t list -> t list
val vaddrof : t -> bool
val vglob : t -> bool
val duplic_var_prefix : string
val duplic_var_postfix : string
val show : t -> string
val get_type : t -> GoblintCil.typ
val is_assign_aux : t -> bool
val is_return_aux : t -> bool
val name_varinfo : t -> string
val typ : t -> GoblintCil.typ
val describe_varinfo : GoblintCil.varinfo -> t -> string
val dummy_varinfo : GoblintCil.typ -> GoblintCil.varinfo
val return_varinfo : GoblintCil.typ -> GoblintCil.varinfo
val to_varinfo : VarVarinfoMap.t -> GoblintCil.varinfo