| /llvm-project-15.0.7/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 | 822 C.blockCount()); in getCStringLengthForRegion()
1048 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
1165 C.getLocationContext(), C.blockCount()); in memsetAux()
1260 C.blockCount()); in evalCopyCommon()
1408 SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalMemcmp()
1511 C.blockCount()); in evalstrLengthCommon()
1535 C.blockCount()); in evalstrLengthCommon()
2076 C.blockCount()); in evalStrcmpCommon()
2184 C.blockCount()), in evalStrsep()
2189 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
[all …]
|
| 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 | 308 getPointerTypeFromTemplateArg(Call, C), C.blockCount()); in evalCall()
444 Type, C.blockCount()); in retrieveOrConjureInnerPtrVal()
532 C.blockCount(), C.getLocationContext(), false); in handleOstreamOperator()
855 CallExpr, LC, InnerPointerType, C.blockCount()); in handleBoolConversion()
|
| H A D | ErrnoTesterChecker.cpp | 131 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 | ErrnoModeling.cpp | 166 ACtx.getLValueReferenceType(ACtx.IntTy), C.blockCount(), &ErrnoDecl); in checkBeginFunction()
|
| 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 | 189 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()) in makeRetVal()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Async/Transforms/ |
| H A D | AsyncParallelFor.cpp | 578 Value blockCount, in doAsyncDispatch() argument
604 b.create<arith::CmpIOp>(arith::CmpIPredicate::eq, blockCount, c1); in doAsyncDispatch()
625 Value groupSize = b.create<arith::SubIOp>(blockCount, c1); in doAsyncDispatch()
629 SmallVector<Value> operands = {group, c0, blockCount, blockSize}; in doAsyncDispatch()
651 scf::ParallelOp op, Value blockSize, Value blockCount, in doSequentialDispatch() argument
663 Value groupSize = b.create<arith::SubIOp>(blockCount, c1); in doSequentialDispatch()
705 b.create<scf::ForOp>(c1, blockCount, c1, ValueRange(), loopBuilder); in doSequentialDispatch()
870 Value blockCount = b.create<arith::CeilDivSIOp>(tripCount, blockSize); in matchAndRewrite() local
878 doDispatch(b, rewriter, compute, op, blockSize, blockCount, tripCounts); in matchAndRewrite()
894 doDispatch(b, rewriter, compute, op, alignedBlockSize, blockCount, in matchAndRewrite()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 66 unsigned Count = currBldrCtx->blockCount(); in VisitBinaryOperator()
84 unsigned Count = currBldrCtx->blockCount(); in VisitBinaryOperator()
170 currBldrCtx->blockCount()); in VisitBinaryOperator()
204 currBldrCtx->blockCount()); in VisitBlockExpr()
471 currBldrCtx->blockCount()); in VisitCast()
495 currBldrCtx->blockCount()); in VisitCast()
537 currBldrCtx->blockCount()); in VisitCast()
629 currBldrCtx->blockCount()); in VisitDeclStmt()
847 currBldrCtx->blockCount()); in VisitGuardedExpr()
1136 currBldrCtx->blockCount()); in VisitIncrementDecrementOperator()
|
| H A D | ExprEngineCXX.cpp | 234 currBldrCtx->blockCount()); in computeObjectUnderConstruction()
321 Caller->getCalleeStackFrame(currBldrCtx->blockCount()); in computeObjectUnderConstruction()
340 *Caller->getAdjustedParameterIndex(Idx), currBldrCtx->blockCount()); in computeObjectUnderConstruction()
942 unsigned blockCount = currBldrCtx->blockCount(); in VisitCXXNewExpr() local
963 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()
966 blockCount); in VisitCXXNewExpr()
978 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
1099 currBldrCtx->blockCount()); in VisitCXXCatchStmt()
|
| H A D | ExprEngineObjC.cpp | 70 currBldrCtx->blockCount()); in populateObjCForDestinationSet()
|
| H A D | ExprEngineCallAndReturn.cpp | 503 currBldrCtx->blockCount(), currStmtIdx); in inlineCall()
717 unsigned Count = currBldrCtx->blockCount(); in bindReturnValue()
778 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
|
| H A D | ExprEngine.cpp | 411 currBldrCtx->blockCount(), LC, true, in createTemporaryRegionIfNeeded()
428 currBldrCtx->blockCount()); in createTemporaryRegionIfNeeded()
438 currBldrCtx->blockCount()); in createTemporaryRegionIfNeeded()
1045 currBldrCtx->blockCount()); in ProcessInitializer()
1681 currBldrCtx->blockCount()); in Visit()
2172 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); in processCFGBlockEntrance()
3104 currBldrCtx->blockCount(), in VisitAtomicExpr()
|
| H A D | SValBuilder.cpp | 292 unsigned blockCount) { in getBlockPointer() argument
296 blockCount); in getBlockPointer()
|
| H A D | MemRegion.cpp | 1071 unsigned blockCount) { in getBlockDataRegion() argument
1093 return getSubRegion<BlockDataRegion>(BC, LC, blockCount, sReg); in getBlockDataRegion()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 79 unsigned blockCount() const { in blockCount() function
80 return NB.getContext().blockCount(); in blockCount()
|
| H A D | SValBuilder.h | 233 unsigned blockCount);
|
| H A D | CoreEngine.h | 225 unsigned blockCount() const { in blockCount() function
|
| H A D | MemRegion.h | 1514 unsigned blockCount);
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | AnalysisDeclContext.cpp | 430 const CFGBlock *blk, unsigned blockCount, unsigned idx) { in getStackFrame() argument
432 StackFrameContext::Profile(ID, ctx, parent, s, blk, blockCount, idx); in getStackFrame()
437 L = new StackFrameContext(ctx, parent, s, blk, blockCount, idx, ++NewID); in getStackFrame()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 142 CE, LCtx, CE->getType(), C.blockCount()); in postPreviousReturnInvalidatingCall()
|