Lines Matching refs:resultTy
67 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
69 Loc lhs, Loc rhs, QualType resultTy) override;
71 Loc lhs, NonLoc rhs, QualType resultTy) override;
81 const llvm::APSInt &RHS, QualType resultTy);
115 QualType resultTy) { in MakeSymIntVal() argument
126 return makeIntVal(0, resultTy); in MakeSymIntVal()
144 return makeIntVal(0, resultTy); in MakeSymIntVal()
158 return makeIntVal(0, resultTy); in MakeSymIntVal()
167 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
177 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
205 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
210 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
213 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
215 return makeNonLoc(LHS, op, *ConvertedRHS, resultTy); in MakeSymIntVal()
409 QualType resultTy) { in evalBinOpNN() argument
430 return makeTruthVal(true, resultTy); in evalBinOpNN()
434 return makeTruthVal(false, resultTy); in evalBinOpNN()
437 if (resultTy->isIntegralOrEnumerationType()) in evalBinOpNN()
438 return makeIntVal(0, resultTy); in evalBinOpNN()
439 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
443 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
449 return makeSymExprValNN(op, lhs, rhs, resultTy); in evalBinOpNN()
458 return makeTruthVal(LPTMD == RPTMD, resultTy); in evalBinOpNN()
460 return makeTruthVal(LPTMD != RPTMD, resultTy); in evalBinOpNN()
475 resultTy); in evalBinOpNN()
495 return evalBinOpLL(state, op, lhsL, makeLoc(i), resultTy); in evalBinOpNN()
500 return makeTruthVal(false, resultTy); in evalBinOpNN()
502 return makeTruthVal(true, resultTy); in evalBinOpNN()
505 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy); in evalBinOpNN()
524 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
560 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
565 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
566 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy); in evalBinOpNN()
572 return makeZeroVal(resultTy); in evalBinOpNN()
575 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy); in evalBinOpNN()
620 assert(resultTy->isBooleanType() || in evalBinOpNN()
621 resultTy == getConditionType()); in evalBinOpNN()
628 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
646 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
675 return MakeSymIntVal(symIntExpr, op, *RHSValue, resultTy); in evalBinOpNN()
681 return MakeSymIntVal(Sym, op, *RHSValue, resultTy); in evalBinOpNN()
683 if (Optional<NonLoc> V = tryRearrange(state, op, lhs, rhs, resultTy)) in evalBinOpNN()
687 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy); in evalBinOpNN()
696 QualType resultTy, in evalBinOpFieldRegionFieldRegion() argument
720 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
722 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
731 return SVB.makeTruthVal(leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
733 return SVB.makeTruthVal(!leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
765 QualType resultTy) { in evalBinOpLL() argument
789 return makeZeroVal(resultTy); in evalBinOpLL()
793 return makeTruthVal(true, resultTy); in evalBinOpLL()
797 return makeTruthVal(false, resultTy); in evalBinOpLL()
812 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
816 return makeTruthVal(false, resultTy); in evalBinOpLL()
820 return makeTruthVal(true, resultTy); in evalBinOpLL()
842 return makeNonLoc(rSym, op, L.getValue(), resultTy); in evalBinOpLL()
851 return evalCast(nonloc::ConcreteInt(*ResultInt), resultTy, QualType{}); in evalBinOpLL()
867 return makeTruthVal(false, resultTy); in evalBinOpLL()
871 return makeTruthVal(true, resultTy); in evalBinOpLL()
885 return MakeSymIntVal(lSym, op, rInt->getValue(), resultTy); in evalBinOpLL()
894 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
900 return evalBinOpNN(state, op, l, r, resultTy); in evalBinOpLL()
935 return makeTruthVal(false, resultTy); in evalBinOpLL()
937 return makeTruthVal(true, resultTy); in evalBinOpLL()
958 return makeTruthVal(false, resultTy); in evalBinOpLL()
960 return makeTruthVal(true, resultTy); in evalBinOpLL()
997 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy); in evalBinOpLL()
1005 SVal R = evalBinOpFieldRegionFieldRegion(LeftFR, RightFR, op, resultTy, in evalBinOpLL()
1025 return makeTruthVal(left < right, resultTy); in evalBinOpLL()
1027 return makeTruthVal(left > right, resultTy); in evalBinOpLL()
1029 return makeTruthVal(left <= right, resultTy); in evalBinOpLL()
1031 return makeTruthVal(left >= right, resultTy); in evalBinOpLL()
1033 return makeTruthVal(left == right, resultTy); in evalBinOpLL()
1035 return makeTruthVal(left != right, resultTy); in evalBinOpLL()
1044 return makeNonLoc(LHSSym, op, RHSSym, resultTy); in evalBinOpLL()
1054 NonLoc rhs, QualType resultTy) { in evalBinOpLN() argument
1107 QualType pointeeType = resultTy->getPointeeType(); in evalBinOpLN()
1150 if (resultTy->isAnyPointerType()) in evalBinOpLN()
1151 elementType = resultTy->getPointeeType(); in evalBinOpLN()