Module Cil_manipulation


module Cil_manipulation: sig .. end
Substitute all its internal varinfo from removel by the associated exp from addl. Parse a cil expression of type exp_node that have to be a Lval.

val lval_substitution : Cil_types.exp_node ->
String.t list -> Cil_types.exp_node list -> Cil_types.exp_node
Substitute all its internal varinfo from removel by the associated exp from addl. Parse a cil expression of type exp_node that have to be a Lval.
val exp_substitution : Cil_types.exp -> String.t list -> Cil_types.exp_node list -> Cil_types.exp
Substitute all its internal varinfo from removel by the associated varinfo from addl. Parse a cil expression of type exp.
val exp_node_substitution : Cil_types.exp_node ->
String.t list -> Cil_types.exp_node list -> Cil_types.exp_node
Substitute all its internal varinfo from removel by the associated expression from addl. Parse a cil expression of type exp_node.