module HCE:sig
..end
Datatype + utilities functions for hashconsed exprsessions.
include Datatype.S_with_collections
val self : State.t
val pretty_debug : t Pretty_utils.formatter
val id : t -> int
Conversions between type t
and Cil lvalues and expressions.
val of_lval : Cil_types.lval -> t
val of_exp : Cil_types.exp -> t
val get : t -> Hcexprs.unhashconsed_exprs
val to_exp : t -> Cil_types.exp
val to_lval : t -> Cil_types.lval option
val is_lval : t -> bool
val replace : Hcexprs.kill_type -> late:Cil_types.lval -> heir:Cil_types.exp -> t -> t
Replaces all occurrences of the lvalue late
by the expression heir
.
NonExchangeable
if the replacement is not feasible.