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