Searched refs:contain_precise (Results 1 – 1 of 1) sorted by relevance
853 bool& contain_precise = std::get<0>(checker_result); in PropagateNoContraction() local857 if (contain_precise) { in PropagateNoContraction()