Home | History | Annotate | Download | only in Checkers

Lines Matching refs:PrevN

158                                    const ExplodedNode *PrevN,
281     const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC,
284   ProgramStateRef StatePrev = PrevN->getState();