Searched defs:CurrN (Results 1 – 2 of 2) sorted by relevance
683 wasModifiedBeforeCallExit(const ExplodedNode * CurrN,const ExplodedNode * CallExitBeginN) wasModifiedBeforeCallExit() argument
430 for (const ExplodedNode *CurrN = CallExitBeginN; CurrN; findModifyingFrames() local 774 wasModifiedBeforeCallExit(const ExplodedNode * CurrN,const ExplodedNode * CallExitBeginN) wasModifiedBeforeCallExit() argument [all...]