Searched refs:CallExitBeginN (Results 1 – 2 of 2) sorted by relevance
641 bool isModifiedInFrame(const ExplodedNode *CallExitBeginN);647 void findModifyingFrames(const ExplodedNode *const CallExitBeginN);662 const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument757 const ExplodedNode *CallExitBeginN) override;
420 const ExplodedNode *const CallExitBeginN) { in findModifyingFrames() argument422 assert(CallExitBeginN->getLocationAs<CallExitBegin>()); in findModifyingFrames()425 CallExitBeginN->getLocationContext()->getStackFrame(); in findModifyingFrames()427 const ExplodedNode *CurrCallExitBeginN = CallExitBeginN; in findModifyingFrames()430 for (const ExplodedNode *CurrN = CallExitBeginN; CurrN; in findModifyingFrames()685 const ExplodedNode *CurrN, const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument688 CallExitBeginN->getState()->getSVal(RegionOfInterest)); in wasModifiedBeforeCallExit()