method vcode_annot annot =
let () =
if filter annot then
try
let stmt = Cilutil.valOf self#current_stmt in
let before = self#is_annot_before in
debug 1 "selecting annotation : %a @."
!Ast_printer.d_code_annotation annot;
let info = !Db.Pdg.find_code_annot_nodes pdg before stmt annot in
to_select <- add_nodes_and_undef_to_select true info to_select
with PdgIndex.NotFound -> () (* unreachable *)
in Cil.SkipChildren