Searched refs:precise_object_accesschain (Results 1 – 1 of 1) sorted by relevance
834 ObjectAccessChain precise_object_accesschain = *precise_object_accesschains.begin(); in PropagateNoContraction() local836 ObjectAccessChain symbol_id = getFrontElement(precise_object_accesschain); in PropagateNoContraction()852 defining_node, precise_object_accesschain); in PropagateNoContraction()863 precise_object_accesschains.erase(precise_object_accesschain); in PropagateNoContraction()