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