Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

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