Lines Matching refs:ProgramPoint
21 #include "clang/Analysis/ProgramPoint.h"
182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
186 case ProgramPoint::BlockEdgeKind:
190 case ProgramPoint::BlockEntranceKind:
194 case ProgramPoint::BlockExitKind:
198 case ProgramPoint::CallEnterKind:
202 case ProgramPoint::CallExitBeginKind:
206 case ProgramPoint::EpsilonKind: {
239 ProgramPoint P = L.withTag(getDataTags().make<NoteTag>(
514 void CoreEngine::generateNode(const ProgramPoint &Loc,
647 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc,
684 ProgramPoint Loc =