Home
last modified time | relevance | path

Searched refs:StackSpaceRegion (Results 1 – 8 of 8) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DRegions.def50 ABSTRACT_REGION(StackSpaceRegion, MemSpaceRegion)
51 REGION(StackArgumentsSpaceRegion, StackSpaceRegion)
52 REGION(StackLocalsSpaceRegion, StackSpaceRegion)
DMemRegion.h357 class StackSpaceRegion : public MemSpaceRegion {
362 StackSpaceRegion(MemRegionManager *mgr, Kind k, const StackFrameContext *sfc) in StackSpaceRegion() function
378 class StackLocalsSpaceRegion : public StackSpaceRegion {
382 : StackSpaceRegion(mgr, StackLocalsSpaceRegionKind, sfc) {} in StackLocalsSpaceRegion()
392 class StackArgumentsSpaceRegion : public StackSpaceRegion {
397 : StackSpaceRegion(mgr, StackArgumentsSpaceRegionKind, sfc) {} in StackArgumentsSpaceRegion()
/external/clang/lib/StaticAnalyzer/Checkers/
DStackAddrEscapeChecker.cpp134 const StackSpaceRegion *SS = in checkPreStmt()
135 dyn_cast_or_null<StackSpaceRegion>(R->getMemorySpace()); in checkPreStmt()
204 if (const StackSpaceRegion *SSR = in checkEndFunction()
205 dyn_cast<StackSpaceRegion>(vR->getMemorySpace())) { in checkEndFunction()
DMacOSXAPIChecker.cpp62 if (!R || !isa<StackSpaceRegion>(R->getMemorySpace())) in CheckDispatchOnce()
DUnixAPIChecker.cpp182 if (!R || !isa<StackSpaceRegion>(R->getMemorySpace())) in CheckPthreadOnce()
/external/clang/lib/StaticAnalyzer/Core/
DMemRegion.cpp171 const StackSpaceRegion *SSR = dyn_cast<StackSpaceRegion>(getMemorySpace()); in getStackFrame()
248 void StackSpaceRegion::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()
1110 return isa<StackSpaceRegion>(getMemorySpace()); in hasStackStorage()
DSimpleSValBuilder.cpp741 (isa<StackSpaceRegion>(LeftMS) || isa<StackSpaceRegion>(RightMS)))) { in evalBinOpLL()
DBugReporterVisitors.cpp436 const StackSpaceRegion *FrameSpace = dyn_cast<StackSpaceRegion>(VarSpace); in isInitializationOfVar()