let add_info_nodes pdg (nodes_acc, undef_acc) info =
let stmt = info.Db.Properties.Interp.To_zone.ki in
let before = info.Db.Properties.Interp.To_zone.before in
let zone = info.Db.Properties.Interp.To_zone.zone in
Pdg_parameters.debug ~level:2 "[pdg:annotation] need %a %s stmt %d@."
Locations.Zone.pretty zone
(if before then "before" else "after") stmt.sid;
let nodes, undef_loc =
Sets.find_location_nodes_at_stmt pdg stmt before zone
in
let undef_acc = match undef_acc, undef_loc with
| None, _ -> undef_loc
| _, None -> undef_acc
| Some z1, Some z2 -> Some (Locations.Zone.join z1 z2)
in
(nodes @ nodes_acc, undef_acc)