Searched refs:DstBegin (Results 1 – 2 of 2) sorted by relevance
203 ExplodedNodeSet DstBegin; in ExecuteWorkList() local204 SubEng.processBeginOfFunction(BuilderCtx, Node, DstBegin, StartLoc); in ExecuteWorkList()206 enqueue(DstBegin); in ExecuteWorkList()
65 ExplodedNodeSet DstBegin; in processCallEnter() local66 processBeginOfFunction(BC, Node, DstBegin, Loc); in processCallEnter()67 Engine.enqueue(DstBegin); in processCallEnter()