| /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...] |
| /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
61 class ProgramPoint {
92 // The LocationContext could be NULL to allow ProgramPoint to be used in
99 ProgramPoint() {}
100 ProgramPoint(const void *P,
113 ProgramPoint(const void *P1,
129 /// Create a new ProgramPoint object that is the same as the original
131 ProgramPoint withTag(const ProgramPointTag *tag) const {
132 return ProgramPoint(getData1(), getData2(), getKind()
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 87 void generateNode(const ProgramPoint &Loc,
135 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
[all...] |
| ExplodedGraph.h | 24 #include "clang/Analysis/ProgramPoint.h"
113 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,
302 ExplodedNode *createUncachedNode(const ProgramPoint &L,
|
| CheckerContext.h | 79 const ProgramPoint Location;
90 const ProgramPoint &loc,
188 ProgramPoint L = N->getLocation();
336 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
|
| WorkList.h | 74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind);
|
| ExprEngine.h | 182 /// must only be ProgramPoint::PostStmtPurgeDeadSymbolsKind if an
185 /// it must be ProgramPoint::PreStmtPurgeDeadSymbolsKind (the default)
190 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
508 const ProgramPoint *PP = nullptr);
|
| /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,
212 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker);
266 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker);
310 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind
[all...] |
| CoreEngine.cpp | 242 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
246 case ProgramPoint::BlockEdgeKind:
250 case ProgramPoint::BlockEntranceKind:
254 case ProgramPoint::BlockExitKind:
258 case ProgramPoint::CallEnterKind: {
263 case ProgramPoint::CallExitBeginKind:
267 case ProgramPoint::EpsilonKind: {
526 void CoreEngine::generateNode(const ProgramPoint &Loc,
642 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc,
679 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF
[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,
339 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L,
|
| ExprEngine.cpp | 347 ProgramPoint::Kind K) {
348 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind ||
365 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind &&
[all...] |
| ExprEngineObjC.cpp | 187 ProgramPoint::PreStmtKind);
|
| BugReporterVisitors.cpp | 696 ProgramPoint P = StoreSite->getLocation();
771 ProgramPoint P = N->getLocation();
853 ProgramPoint CurPoint = Succ->getLocation();
930 ProgramPoint ProgPoint = NI->getLocation();
[all...] |
| ExprEngineCXX.cpp | 322 ProgramPoint::PreStmtKind);
619 nullptr, ProgramPoint::PostLValueKind);
|
| PathDiagnostic.cpp | 659 PathDiagnosticLocation::create(const ProgramPoint& P,
683 llvm_unreachable("Unexpected ProgramPoint");
690 ProgramPoint P = N->getLocation();
746 ProgramPoint P = N->getLocation();
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UndefBranchChecker.cpp | 89 ProgramPoint P = PrevN->getLocation();
|
| AnalyzerStatsChecker.cpp | 57 const ProgramPoint &P = I->getLocation();
|
| DynamicTypeChecker.cpp | 111 ProgramPoint ProgLoc = N->getLocation();
|
| ObjCSuperDeallocChecker.cpp | 271 ProgramPoint P = Succ->getLocation();
|
| UnreachableCodeChecker.cpp | 64 const ProgramPoint &P = I->getLocation();
|
| TestAfterDivZeroChecker.cpp | 124 ProgramPoint P = Succ->getLocation();
|
| /external/clang/include/clang/Analysis/FlowSensitive/ |
| DataflowValues.h | 20 #include "clang/Analysis/ProgramPoint.h"
51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIBugReporter.cpp | 103 ProgramPoint P = PrevN->getLocation();
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 17 #include "clang/Analysis/ProgramPoint.h"
283 const ProgramPoint &PP);
323 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,
|
