method vlval (l: lval) =
if !onlyNoOffsetsAreDefs then
match l with
(Var vi, NoOffset) ->
if (!considerVariableDef) vi then
varDefs := VS.add vi !varDefs;
SkipChildren
| (Var vi, Field(fi, NoOffset)) when not fi.fcomp.cstruct ->
(* If we are writing to a union field, treat that the same
as a write to a union. *)
if (!considerVariableDef) vi then
varDefs := VS.add vi !varDefs;
SkipChildren
| _ -> DoChildren
else DoChildren