Globals.Syntactic_search
val self : State.t
val find_in_scope :
?strict:bool ->
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.