module Global_context:sig
..end
val get_variable : string -> (unit -> Cil_types.varinfo) -> Cil_types.varinfo
get_variable name f
searches for an existing variable name
. If this
variable does not exists, it is created using f
.
The obtained varinfo does not need to be registered, nor f
needs to
perform the registration, it will be done by the transformation.