Lines Matching defs:svalBuilder
222 SValBuilder &svalBuilder = C.getSValBuilder();
223 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
224 return state->assume(svalBuilder.evalEQ(state, *val, zero));
293 SValBuilder &svalBuilder = C.getSValBuilder();
295 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
357 SValBuilder &svalBuilder = C.getSValBuilder();
358 ASTContext &Ctx = svalBuilder.getContext();
383 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
384 NonLoc LastOffset = svalBuilder
388 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
392 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
408 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
412 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
454 SValBuilder &svalBuilder = C.getSValBuilder();
456 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
469 QualType cmpTy = svalBuilder.getConditionType();
470 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT,
499 ASTContext &Ctx = svalBuilder.getContext();
501 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy,
508 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add,
515 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
566 SValBuilder &svalBuilder = C.getSValBuilder();
567 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
569 QualType sizeTy = svalBuilder.getContext().getSizeType();
571 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
575 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
580 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
586 QualType cmpTy = svalBuilder.getConditionType();
588 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
681 SValBuilder &svalBuilder = C.getSValBuilder();
682 QualType sizeTy = svalBuilder.getContext().getSizeType();
683 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
690 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
695 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);
696 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
753 SValBuilder &svalBuilder = C.getSValBuilder();
754 QualType sizeTy = svalBuilder.getContext().getSizeType();
756 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
835 SValBuilder &svalBuilder = C.getSValBuilder();
836 ASTContext &Ctx = svalBuilder.getContext();
849 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
851 svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy)
855 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
861 svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy);
878 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
1053 SValBuilder &SvalBuilder = C.getSValBuilder();
1054 ASTContext &Ctx = SvalBuilder.getContext();
1056 loc::MemRegionVal DestRegCharVal = SvalBuilder.evalCast(destRegVal,
1155 SValBuilder &svalBuilder = C.getSValBuilder();
1171 svalBuilder.makeZeroVal(CE->getType()));
1187 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1198 svalBuilder.makeZeroVal(CE->getType()));
1210 SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
1440 SValBuilder &svalBuilder = C.getSValBuilder();
1441 QualType cmpTy = svalBuilder.getConditionType();
1442 QualType sizeTy = svalBuilder.getContext().getSizeType();
1458 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1472 svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
1501 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,
1531 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
1532 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1552 SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,
1564 SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,
1609 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL,
1624 SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1636 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1670 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1681 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1730 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1809 SValBuilder &svalBuilder = C.getSValBuilder();
1810 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1818 svalBuilder.makeZeroVal(CE->getType()));
1847 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) {
1880 SVal resultVal = svalBuilder.makeIntVal(result, CE->getType());
1887 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
1926 SValBuilder &SVB = C.getSValBuilder();