let select_ZoneAnnot_zones_decl_vars set mark (zones,decl_vars) kf =
let set =
Cil_datatype.Varinfo.Set.fold
(fun vi acc -> select_decl_var acc mark vi kf)
decl_vars
set
in
List.fold_right
(fun z acc ->
(* selection related to the parsing/compilation of the annotation *)
select_stmt_zone acc mark
z.Properties.Interp.To_zone.zone
~before:z.Properties.Interp.To_zone.before
z.Properties.Interp.To_zone.ki
kf)
zones set