| /external/clang/lib/Analysis/ |
| 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::PreLoadKind
[all...] |
| Android.mk | 32 ProgramPoint.cpp \
|
| /external/clang/include/clang/Analysis/ |
| 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 {
69 // The LocationContext could be NULL to allow ProgramPoint to be used in
76 ProgramPoint() {}
77 ProgramPoint(const void *P,
90 ProgramPoint(const void *P1,
106 /// Create a new ProgramPoint object that is the same as the original
108 ProgramPoint withTag(const ProgramPointTag *tag) const {
109 return ProgramPoint(getData1(), getData2(), getKind()
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 87 void generateNode(const ProgramPoint &Loc,
132 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
238 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
260 ExplodedNode *generateNode(const ProgramPoint &PP,
271 ExplodedNode *generateSink(const ProgramPoint &PP,
313 ProgramPoint &Location;
317 const NodeBuilderContext &Ctx, ProgramPoint &L)
323 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
329 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
344 /// that it creates a statement specific ProgramPoint
[all...] |
| CheckerContext.h | 79 const ProgramPoint Location;
90 const ProgramPoint &loc,
188 ProgramPoint L = N->getLocation();
294 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
|
| WorkList.h | 74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind);
|
| ExplodedGraph.h | 24 #include "clang/Analysis/ProgramPoint.h"
112 const ProgramPoint Location;
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
132 ProgramPoint getLocation() const { return Location; }
161 const ProgramPoint &Loc,
291 /// where the 'Location' is a ProgramPoint in the CFG. If no node for
294 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
|
| ExprEngine.h | 182 /// must only be ProgramPoint::PostStmtPurgeDeadSymbolsKind if an
185 /// it must be ProgramPoint::PreStmtPurgeDeadSymbolsKind (the default)
190 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
493 const ProgramPoint *PP = nullptr);
|
| CallEvent.h | 29 class ProgramPoint;
300 /// \brief Returns an appropriate ProgramPoint for this call.
301 ProgramPoint getProgramPoint(bool IsPreVisit = false,
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| 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::PreLoadKind
[all...] |
| CoreEngine.cpp | 229 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
233 case ProgramPoint::BlockEdgeKind:
237 case ProgramPoint::BlockEntranceKind:
241 case ProgramPoint::BlockExitKind:
245 case ProgramPoint::CallEnterKind: {
251 case ProgramPoint::CallExitBeginKind:
255 case ProgramPoint::EpsilonKind: {
509 void CoreEngine::generateNode(const ProgramPoint &Loc,
625 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc,
662 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF
[all...] |
| ExprEngine.cpp | 345 ProgramPoint::Kind K) {
346 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind ||
363 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind &&
[all...] |
| 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,
|
| BugReporterVisitors.cpp | 692 ProgramPoint P = StoreSite->getLocation();
767 ProgramPoint P = N->getLocation();
872 ProgramPoint ProgPoint = NI->getLocation();
919 const ProgramPoint &pp = N->getLocation();
[all...] |
| PathDiagnostic.cpp | 665 PathDiagnosticLocation::create(const ProgramPoint& P,
690 llvm_unreachable("Unexpected ProgramPoint");
697 ProgramPoint P = N->getLocation();
753 ProgramPoint P = N->getLocation();
[all...] |
| ExprEngineC.cpp | 221 nullptr, ProgramPoint::PostLValueKind);
526 ProgramPoint P = N->getLocation();
649 ProgramPoint PP = N->getLocation();
[all...] |
| ExprEngineCallAndReturn.cpp | 80 const ProgramPoint &PP = Node->getLocation();
180 ProgramPoint::PostStmtPurgeDeadSymbolsKind);
301 ProgramPoint::PostStmtPurgeDeadSymbolsKind);
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UndefBranchChecker.cpp | 90 ProgramPoint P = PrevN->getLocation();
|
| AnalyzerStatsChecker.cpp | 57 const ProgramPoint &P = I->getLocation();
|
| UnreachableCodeChecker.cpp | 68 const ProgramPoint &P = I->getLocation();
|
| TestAfterDivZeroChecker.cpp | 124 ProgramPoint P = Succ->getLocation();
|
| MacOSKeychainAPIChecker.cpp | 539 ProgramPoint P = AllocNode->getLocation();
|
| /external/clang/include/clang/Analysis/FlowSensitive/ |
| DataflowValues.h | 20 #include "clang/Analysis/ProgramPoint.h"
51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 17 #include "clang/Analysis/ProgramPoint.h"
269 const ProgramPoint &PP);
303 ProgramPoint::Kind K);
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| PathDiagnostic.h | 17 #include "clang/Analysis/ProgramPoint.h"
38 class ProgramPoint;
251 static PathDiagnosticLocation create(const ProgramPoint& P,
|
