Searched refs:IdenticalExprEvaluator (Results 1 – 1 of 1) sorted by relevance
1439 auto IdenticalExprEvaluator = in MaybeEmitAmbiguousAtomicConstraintsDiagnostic() local1477 bool Is1AtLeastAs2 = subsumes(DNF1, CNF2, IdenticalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()1478 bool Is2AtLeastAs1 = subsumes(DNF2, CNF1, IdenticalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()