Module Nullsafe.IDEnv

type t
val create : IR.Procdesc.t -> t
val expand_expr : t -> IR.Exp.t -> IR.Exp.t
val exp_is_temp : t -> IR.Exp.t -> bool
val expand_expr_temps : t -> IR.Procdesc.Node.t -> IR.Exp.t -> IR.Exp.t

Stronger version of expand_expr which also expands a temporary variable.