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