| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 604 bool VarRegion::canPrintPrettyAsExpr() const { in canPrintPrettyAsExpr()
881 if (V.is<const VarRegion*>()) in getVarRegion()
882 return V.get<const VarRegion*>(); in getVarRegion()
929 return getSubRegion<VarRegion>(D, sReg); in getVarRegion()
934 return getSubRegion<VarRegion>(D, superR); in getVarRegion()
1474 std::pair<const VarRegion *, const VarRegion *>
1477 const VarRegion *VR = nullptr; in getCaptureRegions()
1478 const VarRegion *OriginalVR = nullptr; in getCaptureRegions()
1523 const VarRegion *VR = nullptr; in LazyInitializeReferencedVars()
1524 const VarRegion *OriginalVR = nullptr; in LazyInitializeReferencedVars()
[all …]
|
| H A D | LoopWidening.cpp | 76 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); in getWidenedLoopState()
|
| H A D | RegionStore.cpp | 528 SVal getBindingForVar(RegionBindingsConstRef B, const VarRegion *R);
1054 const VarRegion *ToInvalidate = in VisitCluster()
1068 const VarRegion *VR = BI.getCapturedRegion(); in VisitCluster()
1496 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in getBinding()
1658 } else if (const VarRegion *VR = dyn_cast<VarRegion>(superR)) { in getBindingForElement()
1747 if (const auto *VR = dyn_cast<VarRegion>(superR)) { in getBindingForField()
1932 const VarRegion *R) { in getBindingForVar()
2433 if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) { in VisitAddedToCluster()
|
| H A D | BugReporterVisitors.cpp | 1034 static bool isInitializationOfVar(const ExplodedNode *N, const VarRegion *VR) { in isInitializationOfVar()
1086 if (isa<VarRegion>(R)) { in showBRDiagnostics()
1105 const VarRegion *VR, in showBRParamDiagnostics()
1191 if (const auto *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
1237 if (const auto *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
1283 const auto *VR = dyn_cast<VarRegion>(R); in VisitNode()
1297 if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) { in VisitNode()
1309 if (const auto *VR = dyn_cast<VarRegion>(R)) in VisitNode()
1784 const VarRegion *R = in registerStatementVarDecls()
|
| H A D | CallEvent.cpp | 224 const VarRegion *CallEvent::getParameterLocation(unsigned Index) const { in getParameterLocation()
248 const VarRegion *VR = in getParameterLocation()
326 if (const VarRegion *VR = getParameterLocation(*AdjIdx)) in invalidateRegions()
862 const VarRegion *CapturedLambdaRegion = getRegionStoringCapturedLambda(); in getInitialStackFrameContents()
|
| H A D | SymbolManager.cpp | 437 if (const auto *VR = dyn_cast<VarRegion>(MR)) in isLiveRegion()
527 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{ in isLive()
|
| H A D | ExprEngineC.cpp | 217 const VarRegion *capturedR = I.getCapturedRegion(); in VisitBlockExpr()
218 const VarRegion *originalR = I.getOriginalRegion(); in VisitBlockExpr()
|
| H A D | ExprEngineCXX.cpp | 339 const VarRegion *VR = Caller->getParameterLocation( in prepareForObjectConstruction()
|
| H A D | ExprEngineCallAndReturn.cpp | 522 assert(cast<VarRegion>(VV.castAs<loc::MemRegionVal>().getRegion()) in finishArgumentConstruction()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 60 class VarRegion; variable
713 const VarRegion *getCapturedRegion() const { in getCapturedRegion()
714 return cast<VarRegion>(*R); in getCapturedRegion()
717 const VarRegion *getOriginalRegion() const { in getOriginalRegion()
718 return cast<VarRegion>(*OriginalR); in getOriginalRegion()
740 const VarRegion *getOriginalRegion(const VarRegion *VR) const;
755 std::pair<const VarRegion *, const VarRegion *>
931 class VarRegion : public DeclRegion {
935 VarRegion(const VarDecl *vd, const MemRegion *sReg) in VarRegion() function
1323 const VarRegion* getVarRegion(const VarDecl *D, const LocationContext *LC);
[all …]
|
| H A D | Regions.def | 77 REGION(VarRegion, DeclRegion)
|
| H A D | CallEvent.h | 426 const VarRegion *getParameterLocation(unsigned Index) const;
611 const VarRegion *getRegionStoringCapturedLambda() const { in getRegionStoringCapturedLambda()
|
| H A D | ProgramState.h | 232 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
684 inline const VarRegion* ProgramState::getRegion(const VarDecl *D, in getRegion()
|
| H A D | SymbolManager.h | 587 bool isLive(const VarRegion *VR, bool includeStoreBindings = false) const;
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MacOSXAPIChecker.cpp | 96 if (const VarRegion *VR = dyn_cast<VarRegion>(RB)) { in CheckDispatchOnce()
|
| H A D | UnixAPIChecker.cpp | 262 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) in CheckPthreadOnce()
268 if (isa<VarRegion>(R) && isa<StackLocalsSpaceRegion>(R->getMemorySpace())) in CheckPthreadOnce()
|
| H A D | StackAddrEscapeChecker.cpp | 96 } else if (const auto *VR = dyn_cast<VarRegion>(R)) { in genName()
352 const VarRegion *VR = cast<VarRegion>(P.first->getBaseRegion()); in checkEndFunction()
|
| H A D | NSErrorChecker.cpp | 192 if (const VarRegion *VR = R->getAs<VarRegion>()) in parameterTypeFromSVal()
|
| H A D | UndefCapturedBlockVarChecker.cpp | 66 const VarRegion *VR = I.getCapturedRegion(); in checkPostStmt()
|
| H A D | NonnullGlobalConstantsChecker.cpp | 96 auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion()); in isGlobalConstString()
|
| H A D | MallocChecker.cpp | 1725 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
1740 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
1755 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
2260 const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()
2516 const VarRegion *VR = I.getCapturedRegion(); in checkPostStmt()
|
| H A D | MoveChecker.cpp | 544 MR && isa<VarRegion>(MR) && isa<StackSpaceRegion>(MR->getMemorySpace()); in classifyObject()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 94 if (auto V = dyn_cast<VarRegion>(R)) in VisitSymbolRegionValue()
182 std::string VisitVarRegion(const VarRegion *R) { in VisitVarRegion()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 234 const VarRegion *VR = I.getCapturedRegion(); in checkPostStmt()
537 return !R->hasStackStorage() || !isa<VarRegion>(R); in shouldEscapeRegion()
1164 if (const auto *LVR = dyn_cast_or_null<VarRegion>(loc.getAsRegion())) { in checkBind()
|
| H A D | RetainCountDiagnostics.cpp | 488 if (const auto *VR = dyn_cast_or_null<VarRegion>(MR)) in describeRegion()
|