package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module A : AliasInfo

Signature

module IntMap : sig ... end
type reg = {
  1. rvi : Cil.varinfo;
  2. rval : Cil.exp;
  3. rmem : bool;
}
type t = reg IntMap.t
val empty : 'a IntMap.t
val equal : 'a -> 'a -> bool
val dependsOnMem : bool Pervasives.ref
class rewriteExpClass : t -> object ... end
val rewriteExp : t -> Cil.exp -> Cil.exp * bool
val eval : t -> Cil.exp -> Cil.exp
val setMemory : reg IntMap.t -> reg IntMap.t
val setRegister : reg IntMap.t -> Cil.varinfo -> (Cil.exp * bool) -> reg IntMap.t
val resetRegister : 'a IntMap.t -> int -> 'a IntMap.t
class findLval : Cil.lval -> bool Pervasives.ref -> object ... end
val removeMappingsThatDependOn : reg IntMap.t -> Cil.lval -> reg IntMap.t
val assign : t -> Cil.lval -> Cil.exp -> Cil.exp * t
val unassign : reg IntMap.t -> Cil.lval -> reg IntMap.t
val assembly : 'a -> 'b -> 'a
val assume : 'a -> 'b -> 'a
val evaluate : t -> Cil.exp -> Cil.exp
val join2 : t -> t -> reg IntMap.t
val join : t list -> t
val call : t -> Cil.fundec -> Cil.exp list -> Cil.exp list * t
val return : reg IntMap.t -> Cil.fundec -> reg IntMap.t
val call_to_unknown_function : reg IntMap.t -> reg IntMap.t
val debug : reg IntMap.t -> unit