Searched refs:DstBegin (Results 1 – 2 of 2) sorted by relevance
123 ExplodedNodeSet DstBegin; in ExecuteWorkList() local124 ExprEng.processBeginOfFunction(BuilderCtx, Node, DstBegin, StartLoc); in ExecuteWorkList()126 enqueue(DstBegin); in ExecuteWorkList()
69 ExplodedNodeSet DstBegin; in processCallEnter() local70 processBeginOfFunction(BC, Node, DstBegin, Loc); in processCallEnter()71 Engine.enqueue(DstBegin); in processCallEnter()