Lines Matching refs:TryResult
294 class TryResult { class
297 TryResult(bool b) : X(b ? 1 : 0) {} in TryResult() function in __anon4350aedf0111::TryResult
298 TryResult() : X(-1) {} in TryResult() function in __anon4350aedf0111::TryResult
309 TryResult bothKnownTrue(TryResult R1, TryResult R2) { in bothKnownTrue()
311 return TryResult(); in bothKnownTrue()
312 return TryResult(R1.isTrue() && R2.isTrue()); in bothKnownTrue()
409 typedef llvm::DenseMap<Expr *, TryResult> CachedBoolEvalsTy;
524 TempDtorContext(TryResult KnownExecuted) in TempDtorContext()
546 const TryResult KnownExecuted;
644 TryResult checkIncorrectRelationalOperator(const BinaryOperator *B) { in checkIncorrectRelationalOperator()
658 return TryResult(); in checkIncorrectRelationalOperator()
662 return TryResult(); in checkIncorrectRelationalOperator()
671 return TryResult(IntFirst == IntLarger); in checkIncorrectRelationalOperator()
675 return TryResult(IntFirst != IntLarger); in checkIncorrectRelationalOperator()
683 TryResult checkIncorrectEqualityOperator(const BinaryOperator *B) { in checkIncorrectEqualityOperator()
696 return TryResult(); in checkIncorrectEqualityOperator()
710 return TryResult(); in checkIncorrectEqualityOperator()
719 TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
724 return TryResult(); in checkIncorrectEqualityOperator()
726 return TryResult(B->getOpcode() != BO_EQ); in checkIncorrectEqualityOperator()
729 return TryResult(); in checkIncorrectEqualityOperator()
732 TryResult analyzeLogicOperatorCondition(BinaryOperatorKind Relation, in analyzeLogicOperatorCondition()
738 return TryResult(); in analyzeLogicOperatorCondition()
740 return TryResult(Value1 == Value2); in analyzeLogicOperatorCondition()
742 return TryResult(Value1 != Value2); in analyzeLogicOperatorCondition()
744 return TryResult(Value1 < Value2); in analyzeLogicOperatorCondition()
746 return TryResult(Value1 <= Value2); in analyzeLogicOperatorCondition()
748 return TryResult(Value1 > Value2); in analyzeLogicOperatorCondition()
750 return TryResult(Value1 >= Value2); in analyzeLogicOperatorCondition()
758 TryResult checkIncorrectLogicOperator(const BinaryOperator *B) { in checkIncorrectLogicOperator()
765 return TryResult(); in checkIncorrectLogicOperator()
768 return TryResult(); in checkIncorrectLogicOperator()
776 return TryResult(); in checkIncorrectLogicOperator()
784 return TryResult(); in checkIncorrectLogicOperator()
788 return TryResult(); in checkIncorrectLogicOperator()
793 return TryResult(); in checkIncorrectLogicOperator()
799 return TryResult(); in checkIncorrectLogicOperator()
803 return TryResult(); in checkIncorrectLogicOperator()
829 TryResult Res1, Res2; in checkIncorrectLogicOperator()
834 return TryResult(); in checkIncorrectLogicOperator()
848 return TryResult(AlwaysTrue); in checkIncorrectLogicOperator()
850 return TryResult(); in checkIncorrectLogicOperator()
864 TryResult tryEvaluateBool(Expr *S) { in tryEvaluateBool()
867 return TryResult(); in tryEvaluateBool()
877 TryResult Result = evaluateAsBooleanConditionNoCache(S); in tryEvaluateBool()
893 return TryResult(false); in tryEvaluateBool()
898 return TryResult(false); in tryEvaluateBool()
911 TryResult evaluateAsBooleanConditionNoCache(Expr *E) { in evaluateAsBooleanConditionNoCache()
914 TryResult LHS = tryEvaluateBool(Bop->getLHS()); in evaluateAsBooleanConditionNoCache()
921 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
929 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
936 TryResult BopRes = checkIncorrectLogicOperator(Bop); in evaluateAsBooleanConditionNoCache()
942 return TryResult(); in evaluateAsBooleanConditionNoCache()
944 TryResult BopRes = checkIncorrectEqualityOperator(Bop); in evaluateAsBooleanConditionNoCache()
948 TryResult BopRes = checkIncorrectRelationalOperator(Bop); in evaluateAsBooleanConditionNoCache()
958 return TryResult(); in evaluateAsBooleanConditionNoCache()
1697 TryResult KnownVal = tryEvaluateBool(RHS); in VisitLogicalOperator()
1740 TryResult KnownVal = tryEvaluateBool(LHS); in VisitLogicalOperator()
1934 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitChooseExpr()
2015 const TryResult& KnownVal = tryEvaluateBool(C->getCond()); in VisitConditionalOperator()
2259 const TryResult &KnownVal = tryEvaluateBool(I->getCond()); in VisitIfStmt()
2494 TryResult KnownVal(true); in VisitForStmt()
2831 const TryResult& KnownVal = tryEvaluateBool(C); in VisitWhileStmt()
2936 const TryResult &KnownVal = tryEvaluateBool(D->getCond()); in VisitDoStmt()
3441 TryResult KnownVal(true); in VisitCXXForRangeStmt()
3721 TryResult RHSExecuted = tryEvaluateBool(E->getLHS()); in VisitBinaryOperatorForTemporaryDtors()
3808 TryResult ConditionVal = tryEvaluateBool(E->getCond()); in VisitConditionalOperatorForTemporaryDtors()
3809 TryResult NegatedVal = ConditionVal; in VisitConditionalOperatorForTemporaryDtors()