let
varinfo_of_xaddr a =
match
a
with
|
Lvaddr
(_, vi)
->
Some
vi
|
_
->
None