Searched refs:NonReachDef (Results 1 – 1 of 1) sorted by relevance
1115 isl::union_set NonReachDef = in computeKnownFromLoad() local1120 WriteReachDefZone.unite(isl::union_map::from_domain(NonReachDef)); in computeKnownFromLoad()