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