Searched refs:checker_result (Results 1 – 1 of 1) sorted by relevance
851 auto checker_result = checker.getPrecisenessAndRemainedAccessChain( in PropagateNoContraction() local853 bool& contain_precise = std::get<0>(checker_result); in PropagateNoContraction()854 ObjectAccessChain& remained_accesschain = std::get<1>(checker_result); in PropagateNoContraction()