Lines Matching refs:TryResult

384 class TryResult {  class
388 TryResult() = default;
389 TryResult(bool b) : X(b ? 1 : 0) {} in TryResult() function in __anon8d78c9ed0211::TryResult
403 static TryResult bothKnownTrue(TryResult R1, TryResult R2) { in bothKnownTrue()
405 return TryResult(); in bothKnownTrue()
406 return TryResult(R1.isTrue() && R2.isTrue()); in bothKnownTrue()
527 using CachedBoolEvalsTy = llvm::DenseMap<Expr *, TryResult>;
659 TempDtorContext(TryResult KnownExecuted) in TempDtorContext()
680 const TryResult KnownExecuted = true;
924 TryResult checkIncorrectRelationalOperator(const BinaryOperator *B) { in checkIncorrectRelationalOperator()
938 return TryResult(); in checkIncorrectRelationalOperator()
942 return TryResult(); in checkIncorrectRelationalOperator()
951 return TryResult(IntFirst == IntLarger); in checkIncorrectRelationalOperator()
955 return TryResult(IntFirst != IntLarger); in checkIncorrectRelationalOperator()
963 TryResult checkIncorrectEqualityOperator(const BinaryOperator *B) { in checkIncorrectEqualityOperator()
976 return TryResult(); in checkIncorrectEqualityOperator()
990 return TryResult(); in checkIncorrectEqualityOperator()
999 TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
1004 return TryResult(); in checkIncorrectEqualityOperator()
1006 return TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
1009 return TryResult(); in checkIncorrectEqualityOperator()
1012 TryResult analyzeLogicOperatorCondition(BinaryOperatorKind Relation, in analyzeLogicOperatorCondition()
1018 return TryResult(); in analyzeLogicOperatorCondition()
1020 return TryResult(Value1 == Value2); in analyzeLogicOperatorCondition()
1022 return TryResult(Value1 != Value2); in analyzeLogicOperatorCondition()
1024 return TryResult(Value1 < Value2); in analyzeLogicOperatorCondition()
1026 return TryResult(Value1 <= Value2); in analyzeLogicOperatorCondition()
1028 return TryResult(Value1 > Value2); in analyzeLogicOperatorCondition()
1030 return TryResult(Value1 >= Value2); in analyzeLogicOperatorCondition()
1038 TryResult checkIncorrectLogicOperator(const BinaryOperator *B) { in checkIncorrectLogicOperator()
1115 TryResult Res1, Res2; in checkIncorrectLogicOperator()
1140 return TryResult(AlwaysTrue); in checkIncorrectLogicOperator()
1146 TryResult checkIncorrectBitwiseOrOperator(const BinaryOperator *B) { in checkIncorrectBitwiseOrOperator()
1167 return TryResult(true); in checkIncorrectBitwiseOrOperator()
1181 TryResult tryEvaluateBool(Expr *S) { in tryEvaluateBool()
1194 TryResult Result = evaluateAsBooleanConditionNoCache(S); in tryEvaluateBool()
1211 return TryResult(false); in tryEvaluateBool()
1218 return TryResult(false); in tryEvaluateBool()
1231 TryResult evaluateAsBooleanConditionNoCache(Expr *E) { in evaluateAsBooleanConditionNoCache()
1234 TryResult LHS = tryEvaluateBool(Bop->getLHS()); in evaluateAsBooleanConditionNoCache()
1241 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1249 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1256 TryResult BopRes = checkIncorrectLogicOperator(Bop); in evaluateAsBooleanConditionNoCache()
1264 TryResult BopRes = checkIncorrectEqualityOperator(Bop); in evaluateAsBooleanConditionNoCache()
1268 TryResult BopRes = checkIncorrectRelationalOperator(Bop); in evaluateAsBooleanConditionNoCache()
1272 TryResult BopRes = checkIncorrectBitwiseOrOperator(Bop); in evaluateAsBooleanConditionNoCache()
2483 TryResult KnownVal = tryEvaluateBool(RHS); in VisitLogicalOperator()
2533 TryResult KnownVal = tryEvaluateBool(LHS); in VisitLogicalOperator()
2737 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitChooseExpr()
2822 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitConditionalOperator()
3112 TryResult KnownVal; in VisitIfStmt()
3547 TryResult KnownVal(true); in VisitForStmt()
3903 const TryResult& KnownVal = tryEvaluateBool(C); in VisitWhileStmt()
4142 const TryResult &KnownVal = tryEvaluateBool(D->getCond()); in VisitDoStmt()
4663 TryResult KnownVal(true); in VisitCXXForRangeStmt()
5010 TryResult RHSExecuted = tryEvaluateBool(E->getLHS()); in VisitBinaryOperatorForTemporaryDtors()
5095 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors()
5096 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()