method
vvdec v =
if
v.vglob
then
known_globals <-
Cilutil
.
VarinfoSet
.add v known_globals;
DoChildren