Searched refs:Is1AtLeastAs2 (Results 1 – 1 of 1) sorted by relevance
1477 bool Is1AtLeastAs2 = subsumes(DNF1, CNF2, IdenticalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic() local1479 if (Is1AtLeastAs2 == Is1AtLeastAs2Normally && in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()