Searched refs:PrevN (Results 1 – 2 of 2) sorted by relevance
353 auto *PrevN = getNodeOrNull(PrevI); in getMemDGNodeBefore() local354 if (PrevN == nullptr) in getMemDGNodeBefore()356 auto *PrevMemN = dyn_cast<MemDGNode>(PrevN); in getMemDGNodeBefore()
1793 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode() local1807 if (isUnderconstrained(PrevN)) { in VisitNode()