Searched refs:remained_accesschain (Results 1 – 1 of 1) sorted by relevance
854 ObjectAccessChain& remained_accesschain = std::get<1>(checker_result); in PropagateNoContraction() local859 remained_accesschain); in PropagateNoContraction()