Searched refs:generateCallExitBeginNode (Results 1 – 2 of 2) sorted by relevance
576 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N) { in generateCallExitBeginNode() function in CoreEngine611 N = generateCallExitBeginNode(N); in enqueueEndOfFunction()
109 ExplodedNode *generateCallExitBeginNode(ExplodedNode *N);