Searched refs:PrevN (Results 1 – 2 of 2) sorted by relevance
91 ExplodedNode *PrevN = *N->pred_begin(); in checkBranchCondition() local92 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()97 St = PrevN->getState(); in checkBranchCondition()
1837 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode() local1851 if (isUnderconstrained(PrevN)) { in VisitNode()