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