Lines Matching defs:TryResult

400 /// TryResult - a class representing a variant over the values
404 class TryResult {
408   TryResult() = default;
409   TryResult(bool b) : X(b ? 1 : 0) {}
423 static TryResult bothKnownTrue(TryResult R1, TryResult R2) {
425     return TryResult();
426   return TryResult(R1.isTrue() && R2.isTrue());
544   using CachedBoolEvalsTy = llvm::DenseMap<Expr *, TryResult>;
676     TempDtorContext(TryResult KnownExecuted)
697     const TryResult KnownExecuted = true;
932   TryResult checkIncorrectRelationalOperator(const BinaryOperator *B) {
946       return TryResult();
950       return TryResult();
959       return TryResult(IntFirst == IntLarger);
963       return TryResult(IntFirst != IntLarger);
971   TryResult checkIncorrectEqualityOperator(const BinaryOperator *B) {
985       return TryResult();
1000         return TryResult();
1009         return TryResult(B->getOpcode() != BO_EQ);
1013         return TryResult();
1015       return TryResult(B->getOpcode() != BO_EQ);
1018     return TryResult();
1062   TryResult analyzeLogicOperatorCondition(BinaryOperatorKind Relation,
1068         return TryResult();
1070         return TryResult(Value1 == Value2);
1072         return TryResult(Value1 != Value2);
1074         return TryResult(Value1 <  Value2);
1076         return TryResult(Value1 <= Value2);
1078         return TryResult(Value1 >  Value2);
1080         return TryResult(Value1 >= Value2);
1091   TryResult checkIncorrectLogicOperator(const BinaryOperator *B) {
1104           return TryResult(AlwaysTrue);
1107       return TryResult();
1110     TryResult Result = CheckLogicalOpWithNegatedVariable(LHSExpr, RHSExpr);
1190       TryResult Res1, Res2;
1215       return TryResult(AlwaysTrue);
1221   TryResult checkIncorrectBitwiseOrOperator(const BinaryOperator *B) {
1242     return TryResult(true);
1256   TryResult tryEvaluateBool(Expr *S) {
1269         TryResult Result = evaluateAsBooleanConditionNoCache(S);
1286                 return TryResult(false);
1293                 return TryResult(false);
1306   TryResult evaluateAsBooleanConditionNoCache(Expr *E) {
1309         TryResult LHS = tryEvaluateBool(Bop->getLHS());
1316           TryResult RHS = tryEvaluateBool(Bop->getRHS());
1324           TryResult RHS = tryEvaluateBool(Bop->getRHS());
1331             TryResult BopRes = checkIncorrectLogicOperator(Bop);
1339           TryResult BopRes = checkIncorrectEqualityOperator(Bop);
1343         TryResult BopRes = checkIncorrectRelationalOperator(Bop);
1347         TryResult BopRes = checkIncorrectBitwiseOrOperator(Bop);
2554     TryResult KnownVal = tryEvaluateBool(RHS);
2604   TryResult KnownVal = tryEvaluateBool(LHS);
2808   const TryResult& KnownVal = tryEvaluateBool(C->getCond());
2893   const TryResult& KnownVal = tryEvaluateBool(C->getCond());
3183     TryResult KnownVal;
3624     TryResult KnownVal(true);
3980     const TryResult& KnownVal = tryEvaluateBool(C);
4219   const TryResult &KnownVal = tryEvaluateBool(D->getCond());
4738   TryResult KnownVal(true);
5082     TryResult RHSExecuted = tryEvaluateBool(E->getLHS());
5167   TryResult ConditionVal = tryEvaluateBool(E->getCond());
5168   TryResult NegatedVal = ConditionVal;