Lines Matching refs:ProgramPoint

182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,  in dispatchWorkItem()
186     case ProgramPoint::BlockEdgeKind:  in dispatchWorkItem()
190     case ProgramPoint::BlockEntranceKind:  in dispatchWorkItem()
194     case ProgramPoint::BlockExitKind:  in dispatchWorkItem()
198     case ProgramPoint::CallEnterKind:  in dispatchWorkItem()
202     case ProgramPoint::CallExitBeginKind:  in dispatchWorkItem()
206     case ProgramPoint::EpsilonKind: {  in dispatchWorkItem()
251     ProgramPoint P = L.withTag(getDataTags().make<NoteTag>(  in HandleBlockEdge()
526 void CoreEngine::generateNode(const ProgramPoint &Loc,  in generateNode()
635 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc,  in generateNodeImpl()
671   ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,  in generateNode()