Lines Matching defs:ProgramPoint
87 void generateNode(const ProgramPoint &Loc,
137 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
243 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
265 ExplodedNode *generateNode(const ProgramPoint &PP,
276 ExplodedNode *generateSink(const ProgramPoint &PP,
318 ProgramPoint &Location;
322 const NodeBuilderContext &Ctx, ProgramPoint &L)
328 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
334 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
349 /// that it creates a statement specific ProgramPoint.
384 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
385 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
394 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
395 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,