Lines Matching refs:TryResult
404 class TryResult { class
408 TryResult() = default;
409 TryResult(bool b) : X(b ? 1 : 0) {} in TryResult() function in __anonef2f84bd0211::TryResult
423 static TryResult bothKnownTrue(TryResult R1, TryResult R2) { in bothKnownTrue()
425 return TryResult(); in bothKnownTrue()
426 return TryResult(R1.isTrue() && R2.isTrue()); in bothKnownTrue()
544 using CachedBoolEvalsTy = llvm::DenseMap<Expr *, TryResult>;
676 TempDtorContext(TryResult KnownExecuted) in TempDtorContext()
697 const TryResult KnownExecuted = true;
925 TryResult checkIncorrectRelationalOperator(const BinaryOperator *B) { in checkIncorrectRelationalOperator()
939 return TryResult(); in checkIncorrectRelationalOperator()
943 return TryResult(); in checkIncorrectRelationalOperator()
952 return TryResult(IntFirst == IntLarger); in checkIncorrectRelationalOperator()
956 return TryResult(IntFirst != IntLarger); in checkIncorrectRelationalOperator()
964 TryResult checkIncorrectEqualityOperator(const BinaryOperator *B) { in checkIncorrectEqualityOperator()
978 return TryResult(); in checkIncorrectEqualityOperator()
993 return TryResult(); in checkIncorrectEqualityOperator()
1002 return TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
1006 return TryResult(); in checkIncorrectEqualityOperator()
1008 return TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
1011 return TryResult(); in checkIncorrectEqualityOperator()
1055 TryResult analyzeLogicOperatorCondition(BinaryOperatorKind Relation, in analyzeLogicOperatorCondition()
1061 return TryResult(); in analyzeLogicOperatorCondition()
1063 return TryResult(Value1 == Value2); in analyzeLogicOperatorCondition()
1065 return TryResult(Value1 != Value2); in analyzeLogicOperatorCondition()
1067 return TryResult(Value1 < Value2); in analyzeLogicOperatorCondition()
1069 return TryResult(Value1 <= Value2); in analyzeLogicOperatorCondition()
1071 return TryResult(Value1 > Value2); in analyzeLogicOperatorCondition()
1073 return TryResult(Value1 >= Value2); in analyzeLogicOperatorCondition()
1084 TryResult checkIncorrectLogicOperator(const BinaryOperator *B) { in checkIncorrectLogicOperator()
1097 return TryResult(AlwaysTrue); in checkIncorrectLogicOperator()
1100 return TryResult(); in checkIncorrectLogicOperator()
1103 TryResult Result = CheckLogicalOpWithNegatedVariable(LHSExpr, RHSExpr); in checkIncorrectLogicOperator()
1183 TryResult Res1, Res2; in checkIncorrectLogicOperator()
1208 return TryResult(AlwaysTrue); in checkIncorrectLogicOperator()
1214 TryResult checkIncorrectBitwiseOrOperator(const BinaryOperator *B) { in checkIncorrectBitwiseOrOperator()
1235 return TryResult(true); in checkIncorrectBitwiseOrOperator()
1249 TryResult tryEvaluateBool(Expr *S) { in tryEvaluateBool()
1262 TryResult Result = evaluateAsBooleanConditionNoCache(S); in tryEvaluateBool()
1279 return TryResult(false); in tryEvaluateBool()
1286 return TryResult(false); in tryEvaluateBool()
1299 TryResult evaluateAsBooleanConditionNoCache(Expr *E) { in evaluateAsBooleanConditionNoCache()
1302 TryResult LHS = tryEvaluateBool(Bop->getLHS()); in evaluateAsBooleanConditionNoCache()
1309 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1317 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1324 TryResult BopRes = checkIncorrectLogicOperator(Bop); in evaluateAsBooleanConditionNoCache()
1332 TryResult BopRes = checkIncorrectEqualityOperator(Bop); in evaluateAsBooleanConditionNoCache()
1336 TryResult BopRes = checkIncorrectRelationalOperator(Bop); in evaluateAsBooleanConditionNoCache()
1340 TryResult BopRes = checkIncorrectBitwiseOrOperator(Bop); in evaluateAsBooleanConditionNoCache()
2547 TryResult KnownVal = tryEvaluateBool(RHS); in VisitLogicalOperator()
2597 TryResult KnownVal = tryEvaluateBool(LHS); in VisitLogicalOperator()
2801 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitChooseExpr()
2886 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitConditionalOperator()
3176 TryResult KnownVal; in VisitIfStmt()
3614 TryResult KnownVal(true); in VisitForStmt()
3970 const TryResult& KnownVal = tryEvaluateBool(C); in VisitWhileStmt()
4209 const TryResult &KnownVal = tryEvaluateBool(D->getCond()); in VisitDoStmt()
4728 TryResult KnownVal(true); in VisitCXXForRangeStmt()
5075 TryResult RHSExecuted = tryEvaluateBool(E->getLHS()); in VisitBinaryOperatorForTemporaryDtors()
5160 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors()
5161 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()