Lines Matching refs:TryResult
384 class TryResult { class
388 TryResult() = default;
389 TryResult(bool b) : X(b ? 1 : 0) {} in TryResult() function in __anon875bb5ad0211::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()
526 using CachedBoolEvalsTy = llvm::DenseMap<Expr *, TryResult>;
655 TempDtorContext(TryResult KnownExecuted) in TempDtorContext()
676 const TryResult KnownExecuted = true;
920 TryResult checkIncorrectRelationalOperator(const BinaryOperator *B) { in checkIncorrectRelationalOperator()
934 return TryResult(); in checkIncorrectRelationalOperator()
938 return TryResult(); in checkIncorrectRelationalOperator()
947 return TryResult(IntFirst == IntLarger); in checkIncorrectRelationalOperator()
951 return TryResult(IntFirst != IntLarger); in checkIncorrectRelationalOperator()
959 TryResult checkIncorrectEqualityOperator(const BinaryOperator *B) { in checkIncorrectEqualityOperator()
972 return TryResult(); in checkIncorrectEqualityOperator()
986 return TryResult(); in checkIncorrectEqualityOperator()
995 TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
1000 return TryResult(); in checkIncorrectEqualityOperator()
1002 return TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
1005 return TryResult(); in checkIncorrectEqualityOperator()
1008 TryResult analyzeLogicOperatorCondition(BinaryOperatorKind Relation, in analyzeLogicOperatorCondition()
1014 return TryResult(); in analyzeLogicOperatorCondition()
1016 return TryResult(Value1 == Value2); in analyzeLogicOperatorCondition()
1018 return TryResult(Value1 != Value2); 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()
1034 TryResult checkIncorrectLogicOperator(const BinaryOperator *B) { in checkIncorrectLogicOperator()
1111 TryResult Res1, Res2; in checkIncorrectLogicOperator()
1136 return TryResult(AlwaysTrue); in checkIncorrectLogicOperator()
1142 TryResult checkIncorrectBitwiseOrOperator(const BinaryOperator *B) { in checkIncorrectBitwiseOrOperator()
1163 return TryResult(true); in checkIncorrectBitwiseOrOperator()
1177 TryResult tryEvaluateBool(Expr *S) { in tryEvaluateBool()
1190 TryResult Result = evaluateAsBooleanConditionNoCache(S); in tryEvaluateBool()
1207 return TryResult(false); in tryEvaluateBool()
1214 return TryResult(false); in tryEvaluateBool()
1227 TryResult evaluateAsBooleanConditionNoCache(Expr *E) { in evaluateAsBooleanConditionNoCache()
1230 TryResult LHS = tryEvaluateBool(Bop->getLHS()); in evaluateAsBooleanConditionNoCache()
1237 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1245 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1252 TryResult BopRes = checkIncorrectLogicOperator(Bop); in evaluateAsBooleanConditionNoCache()
1260 TryResult BopRes = checkIncorrectEqualityOperator(Bop); in evaluateAsBooleanConditionNoCache()
1264 TryResult BopRes = checkIncorrectRelationalOperator(Bop); in evaluateAsBooleanConditionNoCache()
1268 TryResult BopRes = checkIncorrectBitwiseOrOperator(Bop); in evaluateAsBooleanConditionNoCache()
2446 TryResult KnownVal = tryEvaluateBool(RHS); in VisitLogicalOperator()
2496 TryResult KnownVal = tryEvaluateBool(LHS); in VisitLogicalOperator()
2700 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitChooseExpr()
2785 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitConditionalOperator()
3057 const TryResult &KnownVal = tryEvaluateBool(I->getCond()); in VisitIfStmt()
3448 TryResult KnownVal(true); in VisitForStmt()
3809 const TryResult& KnownVal = tryEvaluateBool(C); in VisitWhileStmt()
3924 const TryResult &KnownVal = tryEvaluateBool(D->getCond()); in VisitDoStmt()
4444 TryResult KnownVal(true); in VisitCXXForRangeStmt()
4785 TryResult RHSExecuted = tryEvaluateBool(E->getLHS()); in VisitBinaryOperatorForTemporaryDtors()
4870 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors()
4871 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()