StaticAnalyzer/Core/MemRegion.cpp

741 MemRegionManager::getStackLocalsRegion(const StackFrameContext *STC) {
742   assert(STC);
743   StackLocalsSpaceRegion *&R = StackLocalsSpaceRegions[STC];
749   new (R) StackLocalsSpaceRegion(this, STC);
754 MemRegionManager::getStackArgumentsRegion(const StackFrameContext *STC) {
755   assert(STC);
756   StackArgumentsSpaceRegion *&R = StackArgumentsSpaceRegions[STC];
762   new (R) StackArgumentsSpaceRegion(this, STC);
884     const auto *STC = V.get<const StackFrameContext *>();
886     if (!STC) {
893                ? static_cast<const MemRegion*>(getStackArgumentsRegion(STC))
894                : static_cast<const MemRegion*>(getStackLocalsRegion(STC));
898         const Decl *STCD = STC->getDecl();
918                                STC->getAnalysisDeclContext());
952       const StackFrameContext *STC = LC->getStackFrame();
953       assert(STC);
954       sReg = getStackLocalsRegion(STC);
980     const StackFrameContext *STC = LC->getStackFrame();
981     assert(STC);
982     sReg = getStackLocalsRegion(STC);
1115   const StackFrameContext *STC = LC->getStackFrame();
1116   assert(STC);
1117   return getSubRegion<CXXThisRegion>(PT, getStackArgumentsRegion(STC));
1123   const StackFrameContext *STC = LC->getStackFrame();
1124   assert(STC);
1125   return getSubRegion<AllocaRegion>(E, cnt, getStackLocalsRegion(STC));