Cross Reference: /external/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

Lines Matching defs:resultTy
37                    NonLoc lhs, NonLoc rhs, QualType resultTy) override;
39                    Loc lhs, Loc rhs, QualType resultTy) override;
41                    Loc lhs, NonLoc rhs, QualType resultTy) override;
48                      const llvm::APSInt &RHS, QualType resultTy);
212                                     QualType resultTy) {
223       return makeIntVal(0, resultTy);
241       return makeIntVal(0, resultTy);
255       return makeIntVal(0, resultTy);
264       const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS);
274       return evalCastFromNonLoc(nonloc::SymbolVal(LHS), resultTy);
299     ConvertedRHS = &BasicVals.Convert(resultTy, RHS);
301   return makeNonLoc(LHS, op, *ConvertedRHS, resultTy);
307                                   QualType resultTy)  {
319         return makeTruthVal(true, resultTy);
323         return makeTruthVal(false, resultTy);
326         if (resultTy->isIntegralOrEnumerationType())
327           return makeIntVal(0, resultTy);
328         return evalCastFromNonLoc(makeIntVal(0, /*Unsigned=*/false), resultTy);
331         return evalCastFromNonLoc(lhs, resultTy);
337       return makeSymExprValNN(state, op, lhs, rhs, resultTy);
344                              resultTy);
349           return evalBinOpLL(state, op, lhsL, makeLoc(i), resultTy);
354               return makeTruthVal(false, resultTy);
356               return makeTruthVal(true, resultTy);
359               return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
378           APSIntType IntType = BasicVals.getAPSIntType(resultTy);
414           return evalCastFromNonLoc(lhs, resultTy);
419           return evalCastFromNonLoc(lhs, resultTy);
420         return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
422         return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
467             assert(resultTy->isBooleanType() ||
468                    resultTy == getConditionType());
475                 symIntExpr->getRHS(), resultTy);
488               // resultTy may not be the best type to convert to, but it's
493               APSIntType IntType = BasicVals.getAPSIntType(resultTy);
512           return MakeSymIntVal(symIntExpr, op, *RHSValue, resultTy);
527         return MakeSymIntVal(Sym, op, *RHSValue, resultTy);
530       return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
539                                             QualType resultTy,
563     return SVB.makeTruthVal(false, resultTy);
565     return SVB.makeTruthVal(true, resultTy);
574       return SVB.makeTruthVal(leftFirst, resultTy);
576       return SVB.makeTruthVal(!leftFirst, resultTy);
586                                   QualType resultTy) {
602       return makeZeroVal(resultTy);
606       return makeTruthVal(true, resultTy);
610       return makeTruthVal(false, resultTy);
625         return evalCastFromLoc(lhs, resultTy);
629         return makeTruthVal(false, resultTy);
633         return makeTruthVal(true, resultTy);
654       return makeNonLoc(rSym, op, lVal, resultTy);
662         return evalCastFromNonLoc(*Result, resultTy);
680         return makeTruthVal(false, resultTy);
684         return makeTruthVal(true, resultTy);
697         return MakeSymIntVal(lSym, op, rInt->getValue(), resultTy);
705           return evalCastFromLoc(lhs, resultTy);
711           return evalBinOpNN(state, op, l, r, resultTy);
746         return makeTruthVal(false, resultTy);
748         return makeTruthVal(true, resultTy);
763         return makeTruthVal(false, resultTy);
765         return makeTruthVal(true, resultTy);
802         return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
810       SVal R = evalBinOpFieldRegionFieldRegion(LeftFR, RightFR, op, resultTy,
830           return makeTruthVal(left < right, resultTy);
832           return makeTruthVal(left > right, resultTy);
834           return makeTruthVal(left <= right, resultTy);
836           return makeTruthVal(left >= right, resultTy);
838           return makeTruthVal(left == right, resultTy);
840           return makeTruthVal(left != right, resultTy);
849       return makeNonLoc(LHSSym, op, RHSSym, resultTy);
859                                   Loc lhs, NonLoc rhs, QualType resultTy) {
916       if (resultTy->isAnyPointerType())
917         elementType = resultTy->getPointeeType();