| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineCXX.cpp | 339 unsigned blockCount = currBldrCtx->blockCount(); in VisitCXXNewExpr() local
361 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()
364 blockCount); in VisitCXXNewExpr()
374 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
455 currBldrCtx->blockCount()); in VisitCXXCatchStmt()
|
| D | ExprEngineC.cpp | 49 unsigned Count = currBldrCtx->blockCount(); in VisitBinaryOperator()
69 unsigned Count = currBldrCtx->blockCount(); in VisitBinaryOperator()
155 currBldrCtx->blockCount()); in VisitBinaryOperator()
188 currBldrCtx->blockCount()); in VisitBlockExpr()
364 currBldrCtx->blockCount()); in VisitCast()
393 currBldrCtx->blockCount()); in VisitCast()
490 currBldrCtx->blockCount()); in VisitDeclStmt()
681 V = svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount()); in VisitGuardedExpr()
922 svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount()); in VisitIncrementDecrementOperator()
|
| D | ExprEngineObjC.cpp | 116 currBldrCtx->blockCount()); in VisitObjCForCollectionStmt()
|
| D | SValBuilder.cpp | 206 unsigned blockCount) { in getBlockPointer() argument
210 blockCount); in getBlockPointer()
|
| D | ExprEngineCallAndReturn.cpp | 567 unsigned Count = currBldrCtx->blockCount(); in bindReturnValue()
577 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
|
| D | ExprEngine.cpp | 228 currBldrCtx->blockCount()); in createTemporaryRegionIfNeeded()
491 currBldrCtx->blockCount()); in ProcessInitializer()
852 currBldrCtx->blockCount()); in Visit()
1255 if (nodeBuilder.getContext().blockCount() >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
1716 currBldrCtx->blockCount()); in VisitCommonDeclRefExpr()
|
| D | MemRegion.cpp | 852 unsigned blockCount) { in getBlockDataRegion() argument
874 return getSubRegion<BlockDataRegion>(BC, LC, blockCount, sReg); in getBlockDataRegion()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 126 unsigned blockCount() const { in blockCount() function
127 return NB.getContext().blockCount(); in blockCount()
|
| D | SValBuilder.h | 204 unsigned blockCount);
|
| D | CoreEngine.h | 196 unsigned blockCount() const { in blockCount() function
|
| D | MemRegion.h | 1277 unsigned blockCount);
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 671 C.blockCount()); in getCStringLengthForRegion()
847 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
975 C.blockCount()); in evalCopyCommon()
1116 SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalMemcmp()
1226 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalstrLengthCommon()
1249 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalstrLengthCommon()
1632 Result = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
1789 SVal resultVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalStrcmpCommon()
1842 C.blockCount())); in evalStrsep()
1846 Result = SVB.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalStrsep()
|
| D | BuiltinFunctionChecker.cpp | 59 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); in evalCall()
|
| D | StreamChecker.cpp | 213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()) in OpenFileAux()
|
| D | RetainCountChecker.cpp | 3138 RetVal = SVB.conjureSymbolVal(0, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
3152 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx, in evalCall()
|
| D | MallocChecker.cpp | 754 unsigned Count = C.blockCount(); in MallocMemAux()
|