method vstmt stm =
match getRDs stm with
| None ->
if !debug then (Kernel.debug "rdVis: stm %d had no data\n" stm.sid);
cur_rd_dat <- None;
DoChildren
| Some(_,s,iosh) ->
match stm.skind with
Instr il ->
if !debug then (Kernel.debug "rdVis: visit il\n");
rd_dat_lst <- instrRDs il stm.sid ((),s,iosh) false;
DoChildren
| _ ->
if !debug then (Kernel.debug "rdVis: visit non-il\n");
cur_rd_dat <- None;
DoChildren