Searched refs:PrevN (Results 1 – 1 of 1) sorted by relevance
1841 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode() local1855 if (isUnderconstrained(PrevN)) { in VisitNode()