Searched refs:ResultSwapped (Results 1 – 3 of 3) sorted by relevance
7623 bool ResultSwapped = isMonotonicPredicateImpl( in isMonotonicPredicate() local7626 assert(Result == ResultSwapped && "should be able to analyze both!"); in isMonotonicPredicate()7627 if (ResultSwapped) in isMonotonicPredicate()
9266 bool ResultSwapped = isMonotonicPredicateImpl( in isMonotonicPredicate() local9269 assert(Result == ResultSwapped && "should be able to analyze both!"); in isMonotonicPredicate()9270 if (ResultSwapped) in isMonotonicPredicate()
9528 auto ResultSwapped = in getMonotonicPredicateType() local9531 assert(ResultSwapped.hasValue() && "should be able to analyze both!"); in getMonotonicPredicateType()9532 assert(ResultSwapped.getValue() != Result.getValue() && in getMonotonicPredicateType()