method add_defids iosh e u =
UD.VS.iter (fun vi ->
if IH.mem iosh vi.vid then
let ios = IH.find iosh vi.vid in
if !debug then (Kernel.debug "DCE: IOS size for vname=%s at stmt=%d: %d\n"
vi.vname
(Extlib.the self#current_stmt).sid
(RD.IOS.cardinal ios));
RD.IOS.iter (function
Some(i) ->
if !debug then Kernel.debug "DCE: def %d used: %a\n" i d_plainexp e;
usedDefsSet := IS.add i (!usedDefsSet)
| None -> ()) ios
else if !debug then Kernel.debug "DCE: vid %d:%s not in stm:%d iosh at %a\n"
vi.vid vi.vname
(Extlib.the self#current_stmt).sid
d_plainexp e
) u