let get_loc_nodes state loc =
P.debug ~level:2 "[pdg state] get_loc_nodes %a@. in %a@."
Locations.Zone.pretty loc pretty state ;
if Locations.Zone.equal loc Locations.Zone.bottom
then [], None
else
let nodes = get_loc_nodes_and_part state loc in
let undef_zone = Locations.Zone.diff loc state.under_outputs in
P.debug ~level:2 "[pdg state] get_loc_nodes -> undef = %a@."
Locations.Zone.pretty undef_zone;
let undef_zone =
if (Locations.Zone.equal undef_zone Locations.Zone.bottom) then None
else Some undef_zone
in
nodes, undef_zone