Searched defs:ProgramPoint (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h87 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
376 generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = 0, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument
386 generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = 0, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument
[all...]
/external/clang/include/clang/Analysis/
H A DProgramPoint.h1 //==- ProgramPoint.h - Program Points for Path-Sensitive Analysis --*- C++ -*-//
10 // This file defines the interface ProgramPoint, which identifies a
37 class ProgramPoint { class in namespace:clang
68 // The LocationContext could be NULL to allow ProgramPoint to be used in
74 ProgramPoint();
77 ProgramPoint(const void *P, function in class:clang::ProgramPoint
90 ProgramPoint(const void *P1, function in class:clang::ProgramPoint
106 /// Create a new ProgramPoint object that is the same as the original
108 ProgramPoint withTag(const ProgramPointTag *tag) const {
109 return ProgramPoint(getData
143 classof(const ProgramPoint*) argument
[all...]

Completed in 63 milliseconds