Searched refs:CallExitBeginN (Results 1 – 3 of 3) sorted by relevance
228 const ExplodedNode *CallExitBeginN) override { in wasModifiedBeforeCallExit() argument230 CallExitBeginN->getState()->get<ErrorPrevented>(); in wasModifiedBeforeCallExit()
657 bool isModifiedInFrame(const ExplodedNode *CallExitBeginN);663 void findModifyingFrames(const ExplodedNode *const CallExitBeginN);678 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()