Searched refs:enqueueEndOfFunction (Results 1 – 3 of 3) sorted by relevance
173 void enqueueEndOfFunction(ExplodedNodeSet &Set);
566 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set) { in enqueueEndOfFunction() function in CoreEngine
1285 Engine.enqueueEndOfFunction(Dst); in processEndOfFunction()