Home
last modified time | relevance | path

Searched refs:SFC (Results 1 – 21 of 21) sorted by relevance

/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DParamRegionTest.cpp20 const StackFrameContext *SFC, in checkForSameParamRegions() argument
23 return MRMgr.getVarRegion(PVD, SFC) == in checkForSameParamRegions()
24 MRMgr.getVarRegion(cast<ParmVarDecl>(D2), SFC); in checkForSameParamRegions()
31 const StackFrameContext *SFC = in performTest() local
36 if (SFC->inTopFrame()) in performTest()
39 assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
40 checkForSameParamRegions(MRMgr, SFC, P); in performTest()
44 if (SFC->inTopFrame()) in performTest()
48 checkForSameParamRegions(MRMgr, SFC, P); in performTest()
52 if (SFC->inTopFrame()) in performTest()
[all …]
H A DStoreTest.cpp57 const StackFrameContext *SFC = in performTest() local
60 Loc LX0 = loc::MemRegionVal(MRManager.getVarRegion(VDX0, SFC)); in performTest()
61 Loc LY0 = loc::MemRegionVal(MRManager.getVarRegion(VDY0, SFC)); in performTest()
62 Loc LZ0 = loc::MemRegionVal(MRManager.getVarRegion(VDZ0, SFC)); in performTest()
63 Loc LX1 = loc::MemRegionVal(MRManager.getVarRegion(VDX1, SFC)); in performTest()
64 Loc LY1 = loc::MemRegionVal(MRManager.getVarRegion(VDY1, SFC)); in performTest()
66 Store StInit = SManager.getInitialStore(SFC).getStore(); in performTest()
121 const StackFrameContext *SFC = in performTest() local
127 const SubRegion *CLRegion = MRManager.getCompoundLiteralRegion(CL, SFC); in performTest()
134 Store StInit = SManager.getInitialStore(SFC).getStore(); in performTest()
H A DSymbolReaperTest.cpp26 const StackFrameContext *SFC = in performTest() local
30 const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC); in performTest()
H A DCallDescriptionTest.cpp71 const StackFrameContext *SFC = in performTest() local
73 const ProgramStateRef State = Eng.getInitialState(SFC); in performTest()
93 return CEMgr.getCall(E, State, SFC); in performTest()
96 /*Target=*/nullptr, State, SFC); in performTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTestAfterDivZeroChecker.cpp30 const StackFrameContext *SFC; member in __anonf94575c80111::ZeroState
33 ZeroState(SymbolRef S, unsigned B, const StackFrameContext *SFC) in ZeroState() argument
34 : ZeroSymbol(S), BlockID(B), SFC(SFC) {} in ZeroState()
36 const StackFrameContext *getStackFrameContext() const { return SFC; } in getStackFrameContext()
39 return BlockID == X.BlockID && SFC == X.SFC && ZeroSymbol == X.ZeroSymbol; in operator ==()
45 if (SFC != X.SFC) in operator <()
46 return SFC < X.SFC; in operator <()
52 ID.AddPointer(SFC); in Profile()
60 const StackFrameContext *SFC; member in __anonf94575c80111::DivisionBRVisitor
65 : ZeroSymbol(ZeroSymbol), SFC(SFC), Satisfied(false) {} in DivisionBRVisitor()
[all …]
H A DReturnUndefChecker.cpp45 const StackFrameContext *SFC = C.getStackFrame(); in checkPreStmt() local
46 QualType RT = CallEvent::getDeclaredResultType(SFC->getDecl()); in checkPreStmt()
63 if (RT.isNull() && isa<BlockDecl>(SFC->getDecl()) && in checkPreStmt()
H A DMIGChecker.cpp151 const StackFrameContext *SFC; in isInMIGCall() local
154 SFC = LC->getStackFrame(); in isInMIGCall()
155 LC = SFC->getParent(); in isInMIGCall()
158 const Decl *D = SFC->getDecl(); in isInMIGCall()
H A DReturnValueChecker.cpp124 const StackFrameContext *SFC = C.getStackFrame(); in checkEndFunction() local
130 CallEventRef<> Call = CMgr.getCaller(SFC, State); in checkEndFunction()
H A DNSErrorChecker.cpp199 const StackFrameContext * SFC = C.getStackFrame(); in parameterTypeFromSVal() local
205 if (stackReg->getStackFrame() == SFC) in parameterTypeFromSVal()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp929 if (const auto *SFC = dyn_cast<StackFrameContext>(LC)) { in getStackOrCaptureRegionForDeclContext() local
930 if (cast<DeclContext>(SFC->getDecl()) == DC) in getStackOrCaptureRegionForDeclContext()
931 return SFC; in getStackOrCaptureRegionForDeclContext()
957 const StackFrameContext *SFC = LC->getStackFrame(); in getVarRegion() local
958 const Stmt *CallSite = SFC->getCallSite(); in getVarRegion()
960 const Decl *D = SFC->getDecl(); in getVarRegion()
1062 const StackFrameContext *SFC = LC->getStackFrame(); in getParamVarRegion() local
1063 assert(SFC); in getParamVarRegion()
1065 getStackArgumentsRegion(SFC)); in getParamVarRegion()
1179 const StackFrameContext *SFC = LC->getStackFrame(); in getCXXTempObjectRegion() local
[all …]
H A DExprEngineCXX.cpp196 const StackFrameContext *SFC = LCtx->getStackFrame(); in computeObjectUnderConstruction() local
197 if (const LocationContext *CallerLCtx = SFC->getParent()) { in computeObjectUnderConstruction()
198 auto RTC = (*SFC->getCallSiteBlock())[SFC->getIndex()] in computeObjectUnderConstruction()
213 cast<Expr>(SFC->getCallSite()), State, CallerLCtx, in computeObjectUnderConstruction()
233 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
412 const StackFrameContext *SFC = LCtx->getStackFrame(); in updateObjectsUnderConstruction() local
413 const LocationContext *CallerLCtx = SFC->getParent(); in updateObjectsUnderConstruction()
419 auto RTC = (*SFC->getCallSiteBlock())[SFC->getIndex()] in updateObjectsUnderConstruction()
430 cast<Expr>(SFC->getCallSite()), State, CallerLCtx, in updateObjectsUnderConstruction()
H A DCallEvent.cpp196 const StackFrameContext *SFC = getCalleeStackFrame(BlockCount); in getParameterLocation() local
198 if (!SFC) in getParameterLocation()
203 getOriginExpr(), Index, SFC); in getParameterLocation()
887 const StackFrameContext *SFC = getLocationContext()->getStackFrame(); in getInheritingStackFrame() local
888 while (isa<CXXInheritedCtorInitExpr>(SFC->getCallSite())) in getInheritingStackFrame()
889 SFC = SFC->getParent()->getStackFrame(); in getInheritingStackFrame()
890 return SFC; in getInheritingStackFrame()
H A DSValBuilder.cpp309 const StackFrameContext *SFC) { in getCXXThis() argument
311 getRegionManager().getCXXThisRegion(D->getThisType(), SFC)); in getCXXThis()
316 const StackFrameContext *SFC) { in getCXXThis() argument
319 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()
H A DBugReporterVisitors.cpp2163 const StackFrameContext *SFC = LVNode->getStackFrame(); in handle() local
2179 Result.combineWith(getParentTracker().track(LVal, RR, Opts, SFC)); in handle()
2223 getParentTracker().track(V, R, Opts, SFC); in handle()
2329 const StackFrameContext *SFC = LVNode->getStackFrame(); in handle() local
2365 getParentTracker().track(*KV, L->getRegion(), Opts, SFC)); in handle()
H A DExprEngine.cpp298 const StackFrameContext *SFC = InitLoc->getStackFrame(); in getInitialState() local
299 if (SFC->getParent() == nullptr) { in getInitialState()
300 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
885 const StackFrameContext *SFC = LC ? LC->getStackFrame() : nullptr; in removeDead() local
886 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
901 CleanedState, SFC, SymReaper); in removeDead()
H A DExprEngineCallAndReturn.cpp412 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) { in examineStackFrames() local
413 const Decl *DI = SFC->getDecl(); in examineStackFrames()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h384 inline bool isSynthesizedAccessor(const StackFrameContext *SFC) { in isSynthesizedAccessor() argument
385 auto Method = dyn_cast_or_null<ObjCMethodDecl>(SFC->getDecl()); in isSynthesizedAccessor()
389 return SFC->getAnalysisDeclContext()->isBodyAutosynthesized(); in isSynthesizedAccessor()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h387 const StackFrameContext *SFC);
391 const StackFrameContext *SFC);
H A DMemRegion.h390 const StackFrameContext *SFC; variable
394 : MemSpaceRegion(mgr, k), SFC(sfc) { in StackSpaceRegion()
401 const StackFrameContext *getStackFrame() const { return SFC; } in getStackFrame()
/llvm-project-15.0.7/clang/lib/Analysis/
H A DAnalysisDeclContext.cpp466 if (const auto *SFC = dyn_cast<StackFrameContext>(LC)) in getStackFrame() local
467 return SFC; in getStackFrame()
H A DPathDiagnostic.cpp523 getLocationForCaller(const StackFrameContext *SFC, in getLocationForCaller() argument
526 const CFGBlock &Block = *SFC->getCallSiteBlock(); in getLocationForCaller()
527 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()