Searched refs:CallExitBeginN (Results 1 – 2 of 2) sorted by relevance
654 bool isModifiedInFrame(const ExplodedNode *CallExitBeginN);660 void findModifyingFrames(const ExplodedNode *const CallExitBeginN);675 const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument
394 const ExplodedNode *const CallExitBeginN) { in findModifyingFrames() argument396 assert(CallExitBeginN->getLocationAs<CallExitBegin>()); in findModifyingFrames()399 CallExitBeginN->getLocationContext()->getStackFrame(); in findModifyingFrames()401 const ExplodedNode *CurrCallExitBeginN = CallExitBeginN; in findModifyingFrames()404 for (const ExplodedNode *CurrN = CallExitBeginN; CurrN; in findModifyingFrames()534 const ExplodedNode *CallExitBeginN) override;748 const ExplodedNode *CurrN, const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument751 CallExitBeginN->getState()->getSVal(RegionOfInterest)); in wasModifiedBeforeCallExit()