method vstmt stm =
sid <- stm.sid;
match getAEs sid with
None ->
if !debug then Cilmsg.debug "aeVis: stm %d has no data" sid ;
cur_ae_dat <- None;
DoChildren
| Some eh ->
match stm.skind with
Instr il ->
if !debug then Cilmsg.debug "aeVist: visit il" ;
ae_dat_lst <- time "instrAEs" (instrAEs [il] stm.sid eh) false;
DoChildren
| _ ->
if !debug then Cilmsg.debug "aeVisit: visit non-il" ;
cur_ae_dat <- None;
DoChildren