Module CTrans_utils.Nodes

Module for creating cfg nodes and other utility functions related to them.

val is_binary_assign_op : ATDGenerated.Clang_ast_t.binary_operator_info -> bool
val create_prune_node : IR.Procdesc.t -> branch:bool -> negate_cond:bool -> IR.Exp.t -> IR.Sil.instr list -> IBase.Location.t -> IR.Sil.if_kind -> IR.Procdesc.Node.t
val is_true_prune_node : IR.Procdesc.Node.t -> bool