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