Searched refs:enqueueEndOfFunction (Results 1 – 3 of 3) sorted by relevance
188 void enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS);
605 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) { in enqueueEndOfFunction() function in CoreEngine
2978 Engine.enqueueEndOfFunction(Dst, RS); in processEndOfFunction()