Lines Matching defs:resultTy
73 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
75 Loc lhs, Loc rhs, QualType resultTy) override;
77 Loc lhs, NonLoc rhs, QualType resultTy) override;
97 const llvm::APSInt &RHS, QualType resultTy);
131 QualType resultTy) {
142 return makeIntVal(0, resultTy);
160 return makeIntVal(0, resultTy);
174 return makeIntVal(0, resultTy);
183 return nonloc::ConcreteInt(BasicVals.Convert(resultTy, RHS));
192 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{});
220 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy);
225 ConvertedRHS = BasicVals.Convert(resultTy, RHS);
228 ConvertedRHS = BasicVals.Convert(resultTy, RHS);
230 return makeNonLoc(LHS, op, *ConvertedRHS, resultTy);
426 QualType resultTy) {
447 return makeTruthVal(true, resultTy);
451 return makeTruthVal(false, resultTy);
454 if (resultTy->isIntegralOrEnumerationType())
455 return makeIntVal(0, resultTy);
456 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy,
460 return evalCast(lhs, resultTy, QualType{});
466 return makeSymExprValNN(op, lhs, rhs, resultTy);
475 return makeTruthVal(LPTMD == RPTMD, resultTy);
477 return makeTruthVal(LPTMD != RPTMD, resultTy);
492 resultTy);
512 return evalBinOpLL(state, op, lhsL, makeLoc(i), resultTy);
517 return makeTruthVal(false, resultTy);
519 return makeTruthVal(true, resultTy);
522 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy);
541 APSIntType IntType = BasicVals.getAPSIntType(resultTy);
590 return evalCast(lhs, resultTy, QualType{});
595 return evalCast(lhs, resultTy, QualType{});
596 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy);
602 return makeZeroVal(resultTy);
605 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy);
650 assert(resultTy->isBooleanType() ||
651 resultTy == getConditionType());
658 symIntExpr->getRHS(), resultTy);
671 // resultTy may not be the best type to convert to, but it's
676 APSIntType IntType = BasicVals.getAPSIntType(resultTy);
705 return MakeSymIntVal(symIntExpr, op, *RHSValue, resultTy);
711 return MakeSymIntVal(Sym, op, *RHSValue, resultTy);
713 if (std::optional<NonLoc> V = tryRearrange(state, op, lhs, rhs, resultTy))
717 return makeSymExprValNN(op, InputLHS, InputRHS, resultTy);
726 QualType resultTy,
750 return SVB.makeTruthVal(false, resultTy);
752 return SVB.makeTruthVal(true, resultTy);
761 return SVB.makeTruthVal(leftFirst, resultTy);
763 return SVB.makeTruthVal(!leftFirst, resultTy);
794 QualType resultTy) {
818 return makeZeroVal(resultTy);
822 return makeTruthVal(true, resultTy);
826 return makeTruthVal(false, resultTy);
841 return evalCast(lhs, resultTy, QualType{});
845 return makeTruthVal(false, resultTy);
849 return makeTruthVal(true, resultTy);
869 return makeNonLoc(L.getValue(), op, rSym, resultTy);
872 return makeNonLoc(rSym, op, L.getValue(), resultTy);
881 return evalCast(nonloc::ConcreteInt(*ResultInt), resultTy, QualType{});
897 return makeTruthVal(false, resultTy);
901 return makeTruthVal(true, resultTy);
915 return MakeSymIntVal(lSym, op, rInt->getValue(), resultTy);
924 return evalCast(lhs, resultTy, QualType{});
930 return evalBinOpNN(state, op, l, r, resultTy);
965 return makeTruthVal(false, resultTy);
967 return makeTruthVal(true, resultTy);
988 return makeTruthVal(false, resultTy);
990 return makeTruthVal(true, resultTy);
1027 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
1035 SVal R = evalBinOpFieldRegionFieldRegion(LeftFR, RightFR, op, resultTy,
1055 return makeTruthVal(left < right, resultTy);
1057 return makeTruthVal(left > right, resultTy);
1059 return makeTruthVal(left <= right, resultTy);
1061 return makeTruthVal(left >= right, resultTy);
1063 return makeTruthVal(left == right, resultTy);
1065 return makeTruthVal(left != right, resultTy);
1074 return makeNonLoc(LHSSym, op, RHSSym, resultTy);
1084 NonLoc rhs, QualType resultTy) {
1139 QualType pointeeType = resultTy->getPointeeType();
1182 if (resultTy->isAnyPointerType())
1183 elementType = resultTy->getPointeeType();