Searched refs:CallExitBeginN (Results 1 – 3 of 3) sorted by relevance
225 const ExplodedNode *CallExitBeginN) override { in wasModifiedBeforeCallExit() argument227 CallExitBeginN->getState()->get<ErrorPrevented>(); in wasModifiedBeforeCallExit()
639 /// frame to which \p CallExitBeginN belongs.641 bool isModifiedInFrame(const ExplodedNode *CallExitBeginN);647 void findModifyingFrames(const ExplodedNode *const CallExitBeginN);653 /// the end of the stack frame, at \p CallExitBeginN. \p CurrN and654 /// \p CallExitBeginN are always in the same stack frame.662 const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit() argument 755 /// the value it holds in \p CallExitBeginN.757 const ExplodedNode *CallExitBeginN) override;
424 const ExplodedNode *const CallExitBeginN) { in findModifyingFrames() argument 426 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() 689 const ExplodedNode *CurrN, const ExplodedNode *CallExitBeginN) { in findRegionOfInterestInRecord() 692 CallExitBeginN->getState()->getSVal(RegionOfInterest)); in findRegionOfInterestInRecord() 778 wasModifiedBeforeCallExit(const ExplodedNode * CurrN,const ExplodedNode * CallExitBeginN) wasModifiedBeforeCallExit() argument