method vexpr e =
let u = UD.computeUseExp e in
match self#get_cur_iosh() with
Some(iosh) -> self#add_defids iosh e u; DoChildren
| None ->
if !debug then Cilmsg.debug "DCE: use but no rd data: %a\n" d_plainexp e;
DoChildren