Searched refs:PrevN (Results 1 – 2 of 2) sorted by relevance
92 ExplodedNode *PrevN = *N->pred_begin(); in checkBranchCondition() local93 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()98 St = PrevN->getState(); in checkBranchCondition()
1648 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode() local1662 if (isUnderconstrained(PrevN)) { in VisitNode()