Searched defs:ProgramPoint (Results 1 - 2 of 2) sorted by relevance
/external/clang/include/clang/Analysis/ |
H A D | ProgramPoint.h | 1 //==- 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 62 // The LocationContext could be NULL to allow ProgramPoint to be used in 68 ProgramPoint(); 71 ProgramPoint(const void *P, function in class:clang::ProgramPoint 84 ProgramPoint(const void *P1, function in class:clang::ProgramPoint 100 /// Create a new ProgramPoint object that is the same as the original 102 ProgramPoint withTag(const ProgramPointTag *tag) const { 103 return ProgramPoint(getData 129 classof(const ProgramPoint*) argument [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CoreEngine.h | 91 void generateNode(const ProgramPoint &Loc, 143 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, 251 ExplodedNode *generateNodeImpl(const ProgramPoint &PP, 276 ExplodedNode *generateNode(const ProgramPoint &PP, 319 ProgramPoint &Location; 323 const NodeBuilderContext &Ctx, ProgramPoint &L) 329 ProgramPoint LocalLoc = (Tag ? Location.withTag(Tag): Location); 345 /// that it creates a statement specific ProgramPoint. 376 ProgramPoint::Kind K = ProgramPoint 371 generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, bool MarkAsSink = false, const ProgramPointTag *tag = 0, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument [all...] |
Completed in 240 milliseconds