Lines Matching defs:ProgramPoint
87 void generateNode(const ProgramPoint &Loc,
133 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
241 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
263 ExplodedNode *generateNode(const ProgramPoint &PP,
274 ExplodedNode *generateSink(const ProgramPoint &PP,
316 ProgramPoint &Location;
320 const NodeBuilderContext &Ctx, ProgramPoint &L)
326 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
332 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
347 /// that it creates a statement specific ProgramPoint.
380 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
381 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
390 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
391 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,