Searched refs:CallExitBeginN (Results 1 – 2 of 2) sorted by relevance
663 bool isModifiedInFrame(const ExplodedNode *CallExitBeginN);669 void findModifyingFrames(const ExplodedNode *const CallExitBeginN);684 const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument
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()560 const ExplodedNode *CallExitBeginN) override;774 const ExplodedNode *CurrN, const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument777 CallExitBeginN->getState()->getSVal(RegionOfInterest)); in wasModifiedBeforeCallExit()