Searched refs:NormalExprEvaluator (Results 1 – 1 of 1) sorted by relevance
1433 auto NormalExprEvaluator = in MaybeEmitAmbiguousAtomicConstraintsDiagnostic() local1475 bool Is1AtLeastAs2Normally = subsumes(DNF1, CNF2, NormalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1476 bool Is2AtLeastAs1Normally = subsumes(DNF2, CNF1, NormalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()