Searched refs:getFirstSucc (Results 1 – 3 of 3) sorted by relevance
218 ExplodedNode *getFirstSucc() { in getFirstSucc() function222 const ExplodedNode *getFirstSucc() const { in getFirstSucc() function223 return const_cast<ExplodedNode*>(this)->getFirstSucc(); in getFirstSucc()521 return N->succ_size() == 1 && N->getFirstSucc()->isTrivial();532 return child_end(N->getFirstSucc());
353 for (const ExplodedNode *N = getFirstSucc(); N; N = N->getFirstSucc()) { in getNextStmtForDiagnostics()
3157 if (N->succ_size() != 1 || !isNodeHidden(N->getFirstSucc(), nullptr)) in traverseHiddenNodes()3161 N = N->getFirstSucc(); in traverseHiddenNodes()