module Syntactic_search:sig
..end
val self : State.t
val find_in_scope : string -> Cil_types.syntactic_scope -> Cil_types.varinfo option
find_in_scope orig_name scope
finds a variable from its orig_name
,
according to the syntactic scope
in which it should be searched.Some vi
otherwise, with vi
the varinfo
associated to
orig_name
in scope
according to C lookup rules.