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