Searched refs:IsRHSSatisfied (Results 1 – 1 of 1) sorted by relevance
370 bool IsRHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction() local379 if (Op == clang::OO_PipePipe && IsRHSSatisfied) { in calculateConstraintSatisfaction()425 bool IsRHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction() local426 if (!Conjunction && IsRHSSatisfied) { in calculateConstraintSatisfaction()439 if (Conjunction != IsRHSSatisfied) in calculateConstraintSatisfaction()