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() argument
424 const ExplodedNode *const CallExitBeginN) { in findModifyingFrames() argument426 assert(CallExitBeginN->getLocationAs<CallExitBegin>()); in findModifyingFrames()429 CallExitBeginN->getLocationContext()->getStackFrame(); in findModifyingFrames()431 const ExplodedNode *CurrCallExitBeginN = CallExitBeginN; in findModifyingFrames()434 for (const ExplodedNode *CurrN = CallExitBeginN; CurrN; in findModifyingFrames()564 const ExplodedNode *CallExitBeginN) override;778 const ExplodedNode *CurrN, const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument781 CallExitBeginN->getState()->getSVal(RegionOfInterest)); in wasModifiedBeforeCallExit()