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

Lines Matching defs:svalBuilder
218   SValBuilder &svalBuilder = C.getSValBuilder();
219   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
220   return state->assume(svalBuilder.evalEQ(state, *val, zero));
289   SValBuilder &svalBuilder = C.getSValBuilder();
291     svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
352   SValBuilder &svalBuilder = C.getSValBuilder();
353   ASTContext &Ctx = svalBuilder.getContext();
378   NonLoc One = cast<NonLoc>(svalBuilder.makeIntVal(1, sizeTy));
379   NonLoc LastOffset = cast<NonLoc>(svalBuilder.evalBinOpNN(state, BO_Sub,
383   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
387     SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
403     BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
407       SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
449   SValBuilder &svalBuilder = C.getSValBuilder();  
451     state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
464   QualType cmpTy = svalBuilder.getConditionType();
465   SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT,
497   ASTContext &Ctx = svalBuilder.getContext();
499   SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, 
506   SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add,
513   SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
563   SValBuilder &svalBuilder = C.getSValBuilder();
564   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
566   QualType sizeTy = svalBuilder.getContext().getSizeType();
568   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
572     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
577     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, 
583     QualType cmpTy = svalBuilder.getConditionType();
585     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
678   SValBuilder &svalBuilder = C.getSValBuilder();
679   QualType sizeTy = svalBuilder.getContext().getSizeType();
680   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
736     SValBuilder &svalBuilder = C.getSValBuilder();
737     QualType sizeTy = svalBuilder.getContext().getSizeType();
739     return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
1041   SValBuilder &svalBuilder = C.getSValBuilder();
1057                             svalBuilder.makeZeroVal(CE->getType()));
1073     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1084                                     svalBuilder.makeZeroVal(CE->getType()));
1097         SVal CmpV = svalBuilder.getConjuredSymbolVal(NULL, CE, LCtx, Count);
1332   SValBuilder &svalBuilder = C.getSValBuilder();
1333   QualType cmpTy = svalBuilder.getConditionType();
1334   QualType sizeTy = svalBuilder.getContext().getSizeType();
1350     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1365                       (svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL,
1394           maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,
1406         NonLoc one = cast<NonLoc>(svalBuilder.makeIntVal(1, sizeTy));
1407         maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1427           SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,
1439           SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,
1484       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, 
1499           SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1511           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1544         SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1555       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1598     Result = svalBuilder.getConjuredSymbolVal(NULL, CE, LCtx, Count);
1677   SValBuilder &svalBuilder = C.getSValBuilder();
1678   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1686                                     svalBuilder.makeZeroVal(CE->getType()));
1715       if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) {
1748       SVal resultVal = svalBuilder.makeIntVal(result, CE->getType());
1756     SVal resultVal = svalBuilder.getConjuredSymbolVal(NULL, CE, LCtx, Count);