| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 114 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
126 CE, LCtx, C.blockCount()); in Find()
148 CE, LCtx, C.blockCount()); in Find()
|
| H A D | CStringChecker.cpp | 846 C.blockCount()); in getCStringLengthForRegion()
1072 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
1189 C.getLocationContext(), C.blockCount()); in memsetAux()
1284 C.blockCount()); in evalCopyCommon()
1434 SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalMemcmp()
1537 C.blockCount()); in evalstrLengthCommon()
1561 C.blockCount()); in evalstrLengthCommon()
2006 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
2103 C.blockCount()); in evalStrcmpCommon()
2211 C.blockCount()), in evalStrsep()
[all …]
|
| H A D | ErrnoModeling.cpp | 167 ACtx.getLValueReferenceType(ACtx.IntTy), C.blockCount(), &ErrnoDecl); in checkBeginFunction()
313 State = State->invalidateRegions(ErrnoR, InvalE, C.blockCount(), in setErrnoStdMustBeChecked()
|
| H A D | Iterator.cpp | 213 unsigned blockCount) { in createIteratorPosition() argument
218 auto Sym = SymMgr.conjureSymbol(S, LCtx, ACtx.LongTy, blockCount); in createIteratorPosition()
|
| H A D | BuiltinFunctionChecker.cpp | 87 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); in evalCall()
|
| H A D | SmartPtrModeling.cpp | 310 getPointerTypeFromTemplateArg(Call, C), C.blockCount()); in evalCall()
446 Type, C.blockCount()); in retrieveOrConjureInnerPtrVal()
534 C.blockCount(), C.getLocationContext(), false); in handleOstreamOperator()
857 CallExpr, LC, InnerPointerType, C.blockCount()); in handleBoolConversion()
|
| H A D | ErrnoTesterChecker.cpp | 132 nullptr, Call.getOriginExpr(), C.getLocationContext(), C.blockCount()); in evalSetErrnoIfErrorRange()
|
| H A D | Iterator.h | 171 unsigned blockCount);
|
| H A D | IteratorModeling.cpp | 474 C.getASTContext().LongTy, C.blockCount()); in handleComparison()
500 CE, LCtx, C.getASTContext().BoolTy, C.blockCount())); in handleComparison()
695 State = createIteratorPosition(State, RetVal, Cont, CE, LCtx, C.blockCount()); in assignToContainer()
|
| H A D | ContainerModeling.cpp | 259 C.getLocationContext(), C.blockCount()); in handleBegin()
281 C.getLocationContext(), C.blockCount()); in handleEnd()
325 C.getASTContext().LongTy, C.blockCount()); in handleAssignment()
|
| H A D | StreamChecker.cpp | 191 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()) in makeRetVal()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 67 unsigned Count = currBldrCtx->blockCount(); in VisitBinaryOperator()
85 unsigned Count = currBldrCtx->blockCount(); in VisitBinaryOperator()
171 currBldrCtx->blockCount()); in VisitBinaryOperator()
205 currBldrCtx->blockCount()); in VisitBlockExpr()
472 currBldrCtx->blockCount()); in VisitCast()
496 currBldrCtx->blockCount()); in VisitCast()
538 currBldrCtx->blockCount()); in VisitCast()
630 currBldrCtx->blockCount()); in VisitDeclStmt()
848 currBldrCtx->blockCount()); in VisitGuardedExpr()
1136 currBldrCtx->blockCount()); in VisitIncrementDecrementOperator()
|
| H A D | ExprEngineCXX.cpp | 246 currBldrCtx->blockCount()); in computeObjectUnderConstruction()
333 Caller->getCalleeStackFrame(BldrCtx->blockCount()); in computeObjectUnderConstruction()
352 *Caller->getAdjustedParameterIndex(Idx), BldrCtx->blockCount()); in computeObjectUnderConstruction()
997 unsigned blockCount = currBldrCtx->blockCount(); in VisitCXXNewExpr() local
1018 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()
1021 blockCount); in VisitCXXNewExpr()
1033 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
1154 currBldrCtx->blockCount()); in VisitCXXCatchStmt()
|
| H A D | ExprEngineObjC.cpp | 70 currBldrCtx->blockCount()); in populateObjCForDestinationSet()
|
| H A D | ExprEngineCallAndReturn.cpp | 557 currBldrCtx->blockCount(), currStmtIdx); in inlineCall()
770 unsigned Count = currBldrCtx->blockCount(); in bindReturnValue()
836 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
|
| H A D | ExprEngine.cpp | 418 currBldrCtx->blockCount(), LC, true, in createTemporaryRegionIfNeeded()
435 currBldrCtx->blockCount()); in createTemporaryRegionIfNeeded()
445 currBldrCtx->blockCount()); in createTemporaryRegionIfNeeded()
1210 currBldrCtx->blockCount()); in ProcessInitializer()
2003 currBldrCtx->blockCount()); in Visit()
2495 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); in processCFGBlockEntrance()
3435 currBldrCtx->blockCount(), in VisitAtomicExpr()
|
| H A D | SValBuilder.cpp | 292 unsigned blockCount) { in getBlockPointer() argument
296 blockCount); in getBlockPointer()
|
| H A D | MemRegion.cpp | 1083 unsigned blockCount) { in getBlockDataRegion() argument
1109 return getSubRegion<BlockDataRegion>(BC, LC, blockCount, sReg); in getBlockDataRegion()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 80 unsigned blockCount() const { in blockCount() function
81 return NB.getContext().blockCount(); in blockCount()
|
| H A D | SValBuilder.h | 233 unsigned blockCount);
|
| H A D | CoreEngine.h | 231 unsigned blockCount() const { in blockCount() function
|
| H A D | MemRegion.h | 1526 unsigned blockCount);
|
| /openbsd-src/gnu/llvm/clang/lib/Analysis/ |
| H A D | AnalysisDeclContext.cpp | 429 const CFGBlock *blk, unsigned blockCount, unsigned idx) { in getStackFrame() argument
431 StackFrameContext::Profile(ID, ctx, parent, s, blk, blockCount, idx); in getStackFrame()
436 L = new StackFrameContext(ctx, parent, s, blk, blockCount, idx, ++NewID); in getStackFrame()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 144 CE, LCtx, CE->getType(), C.blockCount()); in postPreviousReturnInvalidatingCall()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 937 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
|