/external/clang/lib/Analysis/ |
H A D | ProgramPoint.cpp | 1 //==- ProgramPoint.cpp - Program Points for Path-Sensitive Analysis -*- C++ -*-/ 10 // This file defines the interface ProgramPoint, which identifies a 15 #include "clang/Analysis/ProgramPoint.h" 21 ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K, 26 llvm_unreachable("Unhandled ProgramPoint kind"); 27 case ProgramPoint::PreStmtKind: 29 case ProgramPoint::PostStmtKind: 31 case ProgramPoint [all...] |
H A D | Android.mk | 34 ProgramPoint.cpp \
|
/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 38 class ProgramPoint { class in namespace:clang 69 // The LocationContext could be NULL to allow ProgramPoint to be used in 76 ProgramPoint() {} function in class:clang::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 [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerManager.cpp | 16 #include "clang/Analysis/ProgramPoint.h" 155 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : 156 ProgramPoint::PostStmtKind; 157 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, 196 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); 239 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); 283 ProgramPoint::Kind K = IsLoad ? ProgramPoint [all...] |
H A D | CoreEngine.cpp | 228 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, 232 case ProgramPoint::BlockEdgeKind: 236 case ProgramPoint::BlockEntranceKind: 240 case ProgramPoint::BlockExitKind: 244 case ProgramPoint::CallEnterKind: { 250 case ProgramPoint::CallExitBeginKind: 254 case ProgramPoint::EpsilonKind: { 492 void CoreEngine::generateNode(const ProgramPoint &Loc, 608 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, 645 ProgramPoint Lo [all...] |
H A D | ExprEngine.cpp | 336 ProgramPoint::Kind K) { 337 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || 354 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && 963 ProgramPoint::PreStmtKind); 1226 ProgramPoint L = N->getLocation(); 1254 ProgramPoint NewNodeLoc = 1751 ProgramPoint::PostLValueKind); 1763 ProgramPoint::PostLValueKind); 1774 ProgramPoint::PostLValueKind); 1804 ProgramPoint [all...] |
H A D | ExplodedGraph.cpp | 86 // (3) The ProgramPoint is for a PostStmt, but not a PostStore. 87 // (4) There is no 'tag' for the ProgramPoint. 112 ProgramPoint progPoint = node->getLocation(); 152 const ProgramPoint SuccLoc = succ->getLocation(); 301 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L,
|
H A D | BugReporterVisitors.cpp | 696 ProgramPoint P = StoreSite->getLocation(); 771 ProgramPoint P = N->getLocation(); 876 ProgramPoint ProgPoint = NI->getLocation(); 923 const ProgramPoint &pp = N->getLocation(); 1175 ProgramPoint progPoint = N->getLocation(); 1598 ProgramPoint ProgLoc = N->getLocation();
|
H A D | PathDiagnostic.cpp | 662 PathDiagnosticLocation::create(const ProgramPoint& P, 687 llvm_unreachable("Unexpected ProgramPoint"); 694 ProgramPoint P = N->getLocation(); 750 ProgramPoint P = N->getLocation(); 1124 ProgramPoint P = N->getLocation();
|
H A D | ExprEngineC.cpp | 221 nullptr, ProgramPoint::PostLValueKind); 526 ProgramPoint P = N->getLocation(); 649 ProgramPoint PP = N->getLocation();
|
H A D | ExprEngineCallAndReturn.cpp | 80 const ProgramPoint &PP = Node->getLocation(); 180 ProgramPoint::PostStmtPurgeDeadSymbolsKind); 301 ProgramPoint::PostStmtPurgeDeadSymbolsKind);
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CoreEngine.h | 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 380 generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument 390 generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument [all...] |
H A D | CheckerContext.h | 79 const ProgramPoint Location; 90 const ProgramPoint &loc, 188 ProgramPoint L = N->getLocation(); 294 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
|
H A D | WorkList.h | 74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind);
|
H A D | ExplodedGraph.h | 24 #include "clang/Analysis/ProgramPoint.h" 112 const ProgramPoint Location; 125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, 134 ProgramPoint getLocation() const { return Location; } 163 const ProgramPoint &Loc, 293 /// where the 'Location' is a ProgramPoint in the CFG. If no node for 296 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
|
H A D | ExprEngine.h | 182 /// must only be ProgramPoint::PostStmtPurgeDeadSymbolsKind if an 185 /// it must be ProgramPoint::PreStmtPurgeDeadSymbolsKind (the default) 190 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind); 480 const ProgramPoint *PP = nullptr);
|
H A D | CallEvent.h | 29 class ProgramPoint; 300 /// \brief Returns an appropriate ProgramPoint for this call. 301 ProgramPoint getProgramPoint(bool IsPreVisit = false,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UndefBranchChecker.cpp | 90 ProgramPoint P = PrevN->getLocation();
|
H A D | AnalyzerStatsChecker.cpp | 57 const ProgramPoint &P = I->getLocation();
|
H A D | UnreachableCodeChecker.cpp | 68 const ProgramPoint &P = I->getLocation();
|
H A D | TestAfterDivZeroChecker.cpp | 124 ProgramPoint P = Succ->getLocation();
|
H A D | MacOSKeychainAPIChecker.cpp | 529 ProgramPoint P = AllocNode->getLocation();
|
/external/clang/include/clang/Analysis/FlowSensitive/ |
H A D | DataflowValues.h | 20 #include "clang/Analysis/ProgramPoint.h" 51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 17 #include "clang/Analysis/ProgramPoint.h" 322 const ProgramPoint &PP); 356 ProgramPoint::Kind K);
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | PathDiagnostic.h | 17 #include "clang/Analysis/ProgramPoint.h" 38 class ProgramPoint; 247 static PathDiagnosticLocation create(const ProgramPoint& P,
|