Searched refs:getFirstSucc (Results 1 – 4 of 4) sorted by relevance
217 ExplodedNode *getFirstSucc() { in getFirstSucc() function221 const ExplodedNode *getFirstSucc() const { in getFirstSucc() function222 return const_cast<ExplodedNode*>(this)->getFirstSucc(); in getFirstSucc()516 return N->succ_size() == 1 && N->getFirstSucc()->isTrivial();527 return child_end(N->getFirstSucc());
351 for (const ExplodedNode *N = getFirstSucc(); N; N = N->getFirstSucc()) { in getNextStmtForDiagnostics()
403 const StackFrameContext *OrigSCtx = N->getFirstSucc()->getStackFrame(); in getMatchingCallExitEnd()414 N = N->getFirstSucc(); in getMatchingCallExitEnd()
3845 if (N->succ_size() != 1 || !isNodeHidden(N->getFirstSucc(), nullptr)) in traverseHiddenNodes()3849 N = N->getFirstSucc(); in traverseHiddenNodes()