Searched refs:ProgramPoint (Results 1 - 25 of 32) sorted by relevance

12

/external/clang/lib/Analysis/
H A DProgramPoint.cpp1 //==- 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 DAndroid.mk34 ProgramPoint.cpp \
/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
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 DCheckerManager.cpp16 #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 DCoreEngine.cpp228 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 DExprEngine.cpp336 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 DExplodedGraph.cpp86 // (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 DBugReporterVisitors.cpp696 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 DPathDiagnostic.cpp662 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 DExprEngineC.cpp221 nullptr, ProgramPoint::PostLValueKind);
526 ProgramPoint P = N->getLocation();
649 ProgramPoint PP = N->getLocation();
H A DExprEngineCallAndReturn.cpp80 const ProgramPoint &PP = Node->getLocation();
180 ProgramPoint::PostStmtPurgeDeadSymbolsKind);
301 ProgramPoint::PostStmtPurgeDeadSymbolsKind);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h87 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 DCheckerContext.h79 const ProgramPoint Location;
90 const ProgramPoint &loc,
188 ProgramPoint L = N->getLocation();
294 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
H A DWorkList.h74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind);
H A DExplodedGraph.h24 #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 DExprEngine.h182 /// 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 DCallEvent.h29 class ProgramPoint;
300 /// \brief Returns an appropriate ProgramPoint for this call.
301 ProgramPoint getProgramPoint(bool IsPreVisit = false,
/external/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp90 ProgramPoint P = PrevN->getLocation();
H A DAnalyzerStatsChecker.cpp57 const ProgramPoint &P = I->getLocation();
H A DUnreachableCodeChecker.cpp68 const ProgramPoint &P = I->getLocation();
H A DTestAfterDivZeroChecker.cpp124 ProgramPoint P = Succ->getLocation();
H A DMacOSKeychainAPIChecker.cpp529 ProgramPoint P = AllocNode->getLocation();
/external/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowValues.h20 #include "clang/Analysis/ProgramPoint.h"
51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h17 #include "clang/Analysis/ProgramPoint.h"
322 const ProgramPoint &PP);
356 ProgramPoint::Kind K);
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DPathDiagnostic.h17 #include "clang/Analysis/ProgramPoint.h"
38 class ProgramPoint;
247 static PathDiagnosticLocation create(const ProgramPoint& P,

Completed in 250 milliseconds

12