Searched refs:precise_object_accesschains (Results 1 – 1 of 1) sorted by relevance
802 ObjectAccesschainSet& precise_object_accesschains = std::get<2>(mappings_and_precise_objects); in PropagateNoContraction() local818 TNoContractionPropagator propagator(&precise_object_accesschains, accesschain_mapping); in PropagateNoContraction()832 while (!precise_object_accesschains.empty()) { in PropagateNoContraction()834 ObjectAccessChain precise_object_accesschain = *precise_object_accesschains.begin(); in PropagateNoContraction()863 precise_object_accesschains.erase(precise_object_accesschain); in PropagateNoContraction()