Lines Matching refs:svalBuilder
226 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
227 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
228 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
297 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local
299 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in CheckLocation()
361 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local
362 ASTContext &Ctx = svalBuilder.getContext(); in CheckBufferAccess()
387 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
388 NonLoc LastOffset = svalBuilder in CheckBufferAccess()
392 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()
396 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
412 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType()); in CheckBufferAccess()
416 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
458 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local
460 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
473 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
474 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT, in CheckOverlap()
503 ASTContext &Ctx = svalBuilder.getContext(); in CheckOverlap()
505 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, in CheckOverlap()
512 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
519 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT, in CheckOverlap()
570 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local
571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
573 QualType sizeTy = svalBuilder.getContext().getSizeType(); in checkAdditionOverflow()
575 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
579 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()
584 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()
590 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
592 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, in checkAdditionOverflow()
685 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local
686 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLengthForRegion()
687 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(), in getCStringLengthForRegion()
694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
699 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
700 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn, in getCStringLengthForRegion()
757 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local
758 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLength()
760 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy); in getCStringLength()
839 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound() local
840 ASTContext &Ctx = svalBuilder.getContext(); in IsFirstBufInBound()
853 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in IsFirstBufInBound()
855 svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy) in IsFirstBufInBound()
859 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
865 svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy); in IsFirstBufInBound()
882 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in IsFirstBufInBound()
1159 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local
1175 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()
1191 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalMemcmp()
1202 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()
1214 SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalMemcmp()
1444 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local
1445 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
1446 QualType sizeTy = svalBuilder.getContext().getSizeType(); in evalStrcpyCommon()
1462 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()
1476 svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy) in evalStrcpyCommon()
1505 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add, in evalStrcpyCommon()
1535 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in evalStrcpyCommon()
1536 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
1556 SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE, in evalStrcpyCommon()
1568 SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE, in evalStrcpyCommon()
1613 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, in evalStrcpyCommon()
1628 SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE, in evalStrcpyCommon()
1640 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE, in evalStrcpyCommon()
1674 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1685 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1734 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
1813 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon() local
1814 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
1822 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
1840 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalStrcmpCommon()
1853 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
1881 resultVal = svalBuilder.makeIntVal(compareRes, CE->getType()); in evalStrcmpCommon()
1884 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType()); in evalStrcmpCommon()
1889 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, in evalStrcmpCommon()
1890 svalBuilder.getConditionType()); in evalStrcmpCommon()