Lines Matching defs:svalBuilder

369   SValBuilder &svalBuilder = C.getSValBuilder();
370   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
371   return State->assume(svalBuilder.evalEQ(State, *val, zero));
605   SValBuilder &svalBuilder = C.getSValBuilder();
606   ASTContext &Ctx = svalBuilder.getContext();
622       svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType());
639   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
640   SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy);
649         svalBuilder.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy);
700   SValBuilder &svalBuilder = C.getSValBuilder();
702       state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
715   QualType cmpTy = svalBuilder.getConditionType();
717       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);
745   ASTContext &Ctx = svalBuilder.getContext();
748       svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType());
754   SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, *FirstStartLoc,
762       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);
913   SValBuilder &svalBuilder = C.getSValBuilder();
914   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
916   QualType sizeTy = svalBuilder.getContext().getSizeType();
918   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
922     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
927     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
933     QualType cmpTy = svalBuilder.getConditionType();
935     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
1010   SValBuilder &svalBuilder = C.getSValBuilder();
1011   QualType sizeTy = svalBuilder.getContext().getSizeType();
1012   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
1020       BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
1025       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);
1026       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn, maxLength,
1027                                                 svalBuilder.getConditionType());
1070     SValBuilder &svalBuilder = C.getSValBuilder();
1071     QualType sizeTy = svalBuilder.getContext().getSizeType();
1073     return svalBuilder.makeIntVal(strLit->getLength(), sizeTy);
1365   SValBuilder &svalBuilder = C.getSValBuilder();
1373     DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder);
1377         State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL));
1381     CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy);
1395       State = State->bindDefaultZero(svalBuilder.makeLoc(BR),
1408                                svalBuilder.makeZeroVal(Ctx.getSizeType()));
1410       SVal NewStrLen = svalBuilder.getMetadataSymbolVal(
1416       SVal NewStrLenGESize = svalBuilder.evalBinOp(
1417           State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType());
1905   SValBuilder &svalBuilder = C.getSValBuilder();
1906   QualType cmpTy = svalBuilder.getConditionType();
1907   QualType sizeTy = svalBuilder.getContext().getSizeType();
1936         svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType());
1951             svalBuilder
1973         SVal freeSpace = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1978             svalBuilder.evalBinOp(state, BO_Sub, freeSpace,
1979                                   svalBuilder.makeIntVal(1, sizeTy), sizeTy);
1986         SVal hasEnoughSpace = svalBuilder.evalBinOpNN(
2021           maxLastElementIndex = svalBuilder.evalBinOpNN(
2054               SVal retSize = svalBuilder.evalBinOp(
2067         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
2069             svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, one, sizeTy);
2104       strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL,
2117       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *amountCopiedNL,
2135           SVal sourceInResult = svalBuilder.evalBinOpNN(
2146           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
2190           svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, *maxLastNL, ptrTy);
2204       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
2257       Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,
2327   SValBuilder &svalBuilder = C.getSValBuilder();
2328   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
2337                             svalBuilder.makeZeroVal(Call.getResultType()));
2357   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(),
2370       if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) {
2398         resultVal = svalBuilder.makeIntVal(compareRes, Call.getResultType());
2401         DefinedSVal zeroVal = svalBuilder.makeIntVal(0, Call.getResultType());
2406           svalBuilder.evalBinOp(state, op, resultVal, zeroVal,
2407               svalBuilder.getConditionType());