/external/llvm-project/clang/unittests/StaticAnalyzer/ |
D | ParamRegionTest.cpp | 20 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() 37 assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC))); 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() 45 assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest() [all …]
|
D | StoreTest.cpp | 57 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()
|
D | CallDescriptionTest.cpp | 60 const StackFrameContext *SFC = in performTest() local 62 ProgramStateRef State = Eng.getInitialState(SFC); in performTest() 64 Eng.getStateManager().getCallEventManager().getCall(CE, State, SFC); in performTest()
|
D | SymbolReaperTest.cpp | 26 const StackFrameContext *SFC = in performTest() local 30 const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC); in performTest()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
D | TestAfterDivZeroChecker.cpp | 30 const StackFrameContext *SFC; member in __anon67c00f0f0111::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 __anon67c00f0f0111::DivisionBRVisitor 64 DivisionBRVisitor(SymbolRef ZeroSymbol, const StackFrameContext *SFC) in DivisionBRVisitor() argument [all …]
|
D | ReturnUndefChecker.cpp | 45 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()
|
D | MIGChecker.cpp | 150 const StackFrameContext *SFC; in isInMIGCall() local 153 SFC = LC->getStackFrame(); in isInMIGCall() 154 LC = SFC->getParent(); in isInMIGCall() 157 const Decl *D = SFC->getDecl(); in isInMIGCall()
|
D | ReturnValueChecker.cpp | 123 const StackFrameContext *SFC = C.getStackFrame(); in checkEndFunction() local 129 CallEventRef<> Call = CMgr.getCaller(SFC, State); in checkEndFunction()
|
D | NSErrorChecker.cpp | 199 const StackFrameContext * SFC = C.getStackFrame(); in parameterTypeFromSVal() local 205 if (stackReg->getStackFrame() == SFC) in parameterTypeFromSVal()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | TestAfterDivZeroChecker.cpp | 31 const StackFrameContext *SFC; member in __anon1b2f93a10111::ZeroState 34 ZeroState(SymbolRef S, unsigned B, const StackFrameContext *SFC) in ZeroState() argument 35 : ZeroSymbol(S), BlockID(B), SFC(SFC) {} in ZeroState() 37 const StackFrameContext *getStackFrameContext() const { return SFC; } in getStackFrameContext() 40 return BlockID == X.BlockID && SFC == X.SFC && ZeroSymbol == X.ZeroSymbol; in operator ==() 46 if (SFC != X.SFC) in operator <() 47 return SFC < X.SFC; in operator <() 53 ID.AddPointer(SFC); in Profile() 61 const StackFrameContext *SFC; member in __anon1b2f93a10111::DivisionBRVisitor 65 DivisionBRVisitor(SymbolRef ZeroSymbol, const StackFrameContext *SFC) in DivisionBRVisitor() argument [all …]
|
D | ReturnUndefChecker.cpp | 46 const StackFrameContext *SFC = C.getStackFrame(); in checkPreStmt() local 47 QualType RT = CallEvent::getDeclaredResultType(SFC->getDecl()); in checkPreStmt() 64 if (RT.isNull() && isa<BlockDecl>(SFC->getDecl()) && in checkPreStmt()
|
D | NSErrorChecker.cpp | 190 SFC = C.getLocationContext()->getCurrentStackFrame(); in parameterTypeFromSVal() local 196 if (stackReg->getStackFrame() == SFC) in parameterTypeFromSVal()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
D | ExprEngineCXX.cpp | 190 const StackFrameContext *SFC = LCtx->getStackFrame(); in computeObjectUnderConstruction() local 191 if (const LocationContext *CallerLCtx = SFC->getParent()) { in computeObjectUnderConstruction() 192 auto RTC = (*SFC->getCallSiteBlock())[SFC->getIndex()] in computeObjectUnderConstruction() 207 cast<Expr>(SFC->getCallSite()), State, CallerLCtx, in computeObjectUnderConstruction() 227 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction() 389 const StackFrameContext *SFC = LCtx->getStackFrame(); in updateObjectsUnderConstruction() local 390 const LocationContext *CallerLCtx = SFC->getParent(); in updateObjectsUnderConstruction() 396 auto RTC = (*SFC->getCallSiteBlock())[SFC->getIndex()] in updateObjectsUnderConstruction() 407 cast<Expr>(SFC->getCallSite()), State, CallerLCtx, in updateObjectsUnderConstruction()
|
D | MemRegion.cpp | 903 if (const auto *SFC = dyn_cast<StackFrameContext>(LC)) { in getStackOrCaptureRegionForDeclContext() local 904 if (cast<DeclContext>(SFC->getDecl()) == DC) in getStackOrCaptureRegionForDeclContext() 905 return SFC; in getStackOrCaptureRegionForDeclContext() 931 const StackFrameContext *SFC = LC->getStackFrame(); in getVarRegion() local 932 const Stmt *CallSite = SFC->getCallSite(); in getVarRegion() 934 const Decl *D = SFC->getDecl(); in getVarRegion() 938 getStackArgumentsRegion(SFC)); in getVarRegion() 942 getStackArgumentsRegion(SFC)); in getVarRegion() 945 getStackArgumentsRegion(SFC)); in getVarRegion() 1045 const StackFrameContext *SFC = LC->getStackFrame(); in getParamVarRegion() local [all …]
|
D | CallEvent.cpp | 213 const StackFrameContext *SFC = getCalleeStackFrame(BlockCount); in getParameterLocation() local 215 if (!SFC) in getParameterLocation() 220 getOriginExpr(), Index, SFC); in getParameterLocation() 918 const StackFrameContext *SFC = getLocationContext()->getStackFrame(); in getInheritingStackFrame() local 919 while (isa<CXXInheritedCtorInitExpr>(SFC->getCallSite())) in getInheritingStackFrame() 920 SFC = SFC->getParent()->getStackFrame(); in getInheritingStackFrame() 921 return SFC; in getInheritingStackFrame()
|
D | SValBuilder.cpp | 273 const StackFrameContext *SFC) { in getCXXThis() argument 275 getRegionManager().getCXXThisRegion(D->getThisType(), SFC)); in getCXXThis() 280 const StackFrameContext *SFC) { in getCXXThis() argument 283 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
D | RetainCountChecker.h | 384 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()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | SValBuilder.cpp | 233 const StackFrameContext *SFC) { in getCXXThis() argument 235 getCXXThisRegion(D->getThisType(getContext()), SFC)); in getCXXThis() 240 const StackFrameContext *SFC) { in getCXXThis() argument 243 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()
|
D | MemRegion.cpp | 798 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LC)) { in getStackOrCaptureRegionForDeclContext() local 799 if (cast<DeclContext>(SFC->getDecl()) == DC) in getStackOrCaptureRegionForDeclContext() 800 return SFC; in getStackOrCaptureRegionForDeclContext() 1018 const StackFrameContext *SFC = LC->getCurrentStackFrame(); in getCXXTempObjectRegion() local 1019 assert(SFC); in getCXXTempObjectRegion() 1020 return getSubRegion<CXXTempObjectRegion>(E, getStackLocalsRegion(SFC)); in getCXXTempObjectRegion()
|
D | ExprEngineCallAndReturn.cpp | 365 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) { in examineStackFrames() local 366 const Decl *DI = SFC->getDecl(); in examineStackFrames()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | SValBuilder.h | 323 const StackFrameContext *SFC); 327 const StackFrameContext *SFC);
|
D | MemRegion.h | 359 const StackFrameContext *SFC; 363 : MemSpaceRegion(mgr, k), SFC(sfc) { in StackSpaceRegion() 368 const StackFrameContext *getStackFrame() const { return SFC; } in getStackFrame()
|
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | SValBuilder.h | 380 const StackFrameContext *SFC); 384 const StackFrameContext *SFC);
|
/external/clang/lib/Analysis/ |
D | AnalysisDeclContext.cpp | 449 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LC)) in getCurrentStackFrame() local 450 return SFC; in getCurrentStackFrame()
|
/external/llvm-project/clang/lib/Analysis/ |
D | AnalysisDeclContext.cpp | 413 if (const auto *SFC = dyn_cast<StackFrameContext>(LC)) in getStackFrame() local 414 return SFC; in getStackFrame()
|