| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StackAddrEscapeChecker.cpp | 53 void checkReturnedBlockCaptures(const BlockDataRegion &B,
55 void checkAsyncExecutedBlockCaptures(const BlockDataRegion &B,
63 getCapturedStackRegions(const BlockDataRegion &B, CheckerContext &C);
90 } else if (const auto *BR = dyn_cast<BlockDataRegion>(R)) { in genName()
117 isa<BlockDataRegion>(R); in isArcManagedBlock()
176 const BlockDataRegion &B, CheckerContext &C) const { in checkAsyncExecutedBlockCaptures()
193 if (isa<BlockDataRegion>(Region)) in checkAsyncExecutedBlockCaptures()
215 const BlockDataRegion &B, CheckerContext &C) const { in checkReturnedBlockCaptures()
246 if (const BlockDataRegion *B = dyn_cast_or_null<BlockDataRegion>( in checkPreCall()
267 if (const BlockDataRegion *B = dyn_cast<BlockDataRegion>(R)) in checkPreStmt()
[all …]
|
| H A D | UndefCapturedBlockVarChecker.cpp | 57 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
59 BlockDataRegion::referenced_vars_iterator I = R->referenced_vars_begin(), in checkPostStmt()
|
| H A D | MacOSKeychainAPIChecker.cpp | 202 return isa<AllocaRegion, BlockDataRegion, TypedRegion>(Arg); in isBadDeallocationArgument()
|
| H A D | MallocChecker.cpp | 1958 if (isa<BlockDataRegion>(R)) { in FreeMemAux()
2974 const BlockDataRegion *R = in checkPostStmt()
2975 cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
2977 BlockDataRegion::referenced_vars_iterator I = R->referenced_vars_begin(), in checkPostStmt()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 368 void BlockDataRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, in ProfileRegion()
468 void BlockDataRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
471 for (BlockDataRegion::referenced_vars_iterator in dumpToStream()
936 for (BlockDataRegion::referenced_vars_iterator in getStackOrCaptureRegionForDeclContext()
1068 const BlockDataRegion *
1610 BlockDataRegion::getCaptureRegions(const VarDecl *VD) { in getCaptureRegions()
1632 void BlockDataRegion::LazyInitializeReferencedVars() { in LazyInitializeReferencedVars()
1671 BlockDataRegion::referenced_vars_iterator
1672 BlockDataRegion::referenced_vars_begin() const { in referenced_vars_begin()
1687 BlockDataRegion::referenced_vars_iterator
[all …]
|
| H A D | ProgramState.cpp | 633 if (const BlockDataRegion *BDR = dyn_cast<BlockDataRegion>(R)) { in scan()
634 BlockDataRegion::referenced_vars_iterator I = BDR->referenced_vars_begin(), in scan()
|
| H A D | RegionStore.cpp | 1090 if (const BlockDataRegion *BR = dyn_cast<BlockDataRegion>(baseR)) { in VisitCluster()
1091 for (BlockDataRegion::referenced_vars_iterator in VisitCluster()
1415 if (isa<BlockDataRegion>(MR)) { in getBinding()
2158 if (!hasPartialLazyBinding && !isa<BlockDataRegion>(R->getBaseRegion())) { in getBindingForFieldOrElementCommon()
2853 if (const BlockDataRegion *BR = dyn_cast<BlockDataRegion>(R)) { in VisitBinding()
2854 BlockDataRegion::referenced_vars_iterator I = BR->referenced_vars_begin(), in VisitBinding()
|
| H A D | ExprEngineC.cpp | 210 if (const BlockDataRegion *BDR = in VisitBlockExpr()
211 dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) { in VisitBlockExpr()
213 BlockDataRegion::referenced_vars_iterator I = BDR->referenced_vars_begin(), in VisitBlockExpr()
|
| H A D | CallEvent.cpp | 812 const BlockDataRegion *BlockCall::getBlockRegion() const { in getBlockRegion()
816 return dyn_cast_or_null<BlockDataRegion>(DataReg); in getBlockRegion()
|
| H A D | SValBuilder.cpp | 295 const BlockDataRegion *BD = MemMgr.getBlockDataRegion(BC, locContext, in getBlockPointer()
|
| H A D | ExprEngineCallAndReturn.cpp | 488 const BlockDataRegion *BR = cast<BlockCall>(Call).getBlockRegion(); in inlineCall()
|
| H A D | BugReporterVisitors.cpp | 1607 dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) { in VisitNode()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 674 class BlockDataRegion : public TypedRegion {
683 BlockDataRegion(const BlockCodeRegion *bc, const LocationContext *lc, in BlockDataRegion() function
939 isa<BlockDataRegion>(sReg) || isa<UnknownSpaceRegion>(sReg)); in VarRegion()
973 isa<BlockDataRegion>(sReg) || isa<UnknownSpaceRegion>(sReg)); in NonParamVarRegion()
1512 const BlockDataRegion *getBlockDataRegion(const BlockCodeRegion *bc,
|
| H A D | Regions.def | 61 REGION(BlockDataRegion, TypedRegion)
|
| H A D | CallEvent.h | 583 const BlockDataRegion *getBlockRegion() const;
586 const BlockDataRegion *BR = getBlockRegion(); in getDecl()
604 const BlockDataRegion *BR = getBlockRegion(); in getRegionStoringCapturedLambda()
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | blocks.m | 59 // in BlockDataRegion. It represents real code that contains two block literals. Eventually
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 155 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
157 BlockDataRegion::referenced_vars_iterator I = R->referenced_vars_begin(), in checkPostStmt()
|