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