let lvh_kill_addrof_or_global lvh =
  LvExpHash.iter (fun lv _ ->
    if lval_has_addrof_or_global lv
    then LvExpHash.remove lvh lv)
    lvh