Searched refs:GetSuccessorNode (Results 1 – 1 of 1) sorted by relevance
77 GetSuccessorNode(const ExplodedNode* N) { in GetSuccessorNode() function90 for (N = GetSuccessorNode(N); N; N = GetSuccessorNode(N)) in GetNextStmt()