Lines Matching refs:svalBuilder
213 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
214 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
215 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
284 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local
286 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in CheckLocation()
348 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local
349 ASTContext &Ctx = svalBuilder.getContext(); in CheckBufferAccess()
374 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
375 NonLoc LastOffset = svalBuilder in CheckBufferAccess()
379 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()
383 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
399 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType()); in CheckBufferAccess()
403 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
445 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local
447 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
460 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
461 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT, in CheckOverlap()
490 ASTContext &Ctx = svalBuilder.getContext(); in CheckOverlap()
492 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, in CheckOverlap()
499 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
506 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT, in CheckOverlap()
558 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local
559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
561 QualType sizeTy = svalBuilder.getContext().getSizeType(); in checkAdditionOverflow()
563 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
567 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()
572 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()
578 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
580 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, in checkAdditionOverflow()
673 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local
674 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLengthForRegion()
675 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(), in getCStringLengthForRegion()
682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
687 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
688 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn, in getCStringLengthForRegion()
745 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local
746 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLength()
748 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy); in getCStringLength()
1069 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local
1085 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()
1101 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalMemcmp()
1112 svalBuilder.makeZeroVal(CE->getType())); in evalMemcmp()
1124 SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalMemcmp()
1354 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local
1355 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
1356 QualType sizeTy = svalBuilder.getContext().getSizeType(); in evalStrcpyCommon()
1372 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()
1386 svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy) in evalStrcpyCommon()
1415 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add, in evalStrcpyCommon()
1445 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in evalStrcpyCommon()
1446 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
1466 SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE, in evalStrcpyCommon()
1478 SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE, in evalStrcpyCommon()
1523 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, in evalStrcpyCommon()
1538 SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE, in evalStrcpyCommon()
1550 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE, in evalStrcpyCommon()
1584 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1595 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1643 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
1722 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon() local
1723 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); in evalStrcmpCommon()
1731 svalBuilder.makeZeroVal(CE->getType())); in evalStrcmpCommon()
1760 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
1793 SVal resultVal = svalBuilder.makeIntVal(result, CE->getType()); in evalStrcmpCommon()
1800 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalStrcmpCommon()