Searched refs:generateCallExitBeginNode (Results 1 – 2 of 2) sorted by relevance
592 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode() function in CoreEngine621 I = generateCallExitBeginNode(I, RS); in enqueueEndOfFunction()
131 ExplodedNode *generateCallExitBeginNode(ExplodedNode *N,