HomeSort by: relevance | last modified time | path
    Searched refs:ProgramPoint (Results 1 - 25 of 35) sorted by relevancy

1 2

  /src/external/apache2/llvm/dist/clang/lib/Analysis/
ProgramPoint.cpp 1 //==- ProgramPoint.cpp - Program Points for Path-Sensitive Analysis -*- C++ -*-/
9 // This file defines the interface ProgramPoint, which identifies a
14 #include "clang/Analysis/ProgramPoint.h"
22 ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
27 llvm_unreachable("Unhandled ProgramPoint kind");
28 case ProgramPoint::PreStmtKind:
30 case ProgramPoint::PostStmtKind:
32 case ProgramPoint::PreLoadKind
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/
ProgramPoint.h 1 //==- ProgramPoint.h - Program Points for Path-Sensitive Analysis --*- C++ -*-//
9 // This file defines the interface ProgramPoint, which identifies a
59 class ProgramPoint {
93 // The LocationContext could be NULL to allow ProgramPoint to be used in
100 ProgramPoint() = default;
101 ProgramPoint(const void *P,
114 ProgramPoint(const void *P1,
130 /// Create a new ProgramPoint object that is the same as the original
132 ProgramPoint withTag(const ProgramPointTag *tag) const {
133 return ProgramPoint(getData1(), getData2(), getKind()
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
CheckerManager.cpp 16 #include "clang/Analysis/ProgramPoint.h"
172 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind :
173 ProgramPoint::PostStmtKind;
174 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
230 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker);
288 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker);
335 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind
    [all...]
CoreEngine.cpp 21 #include "clang/Analysis/ProgramPoint.h"
153 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
157 case ProgramPoint::BlockEdgeKind:
161 case ProgramPoint::BlockEntranceKind:
165 case ProgramPoint::BlockExitKind:
169 case ProgramPoint::CallEnterKind:
173 case ProgramPoint::CallExitBeginKind:
177 case ProgramPoint::EpsilonKind: {
222 ProgramPoint P = L.withTag(getNoteTags().makeNoteTag(
496 void CoreEngine::generateNode(const ProgramPoint &Loc
    [all...]
ExplodedGraph.cpp 20 #include "clang/Analysis/ProgramPoint.h"
76 // (3) The ProgramPoint is for a PostStmt, but not a PostStore.
77 // (4) There is no 'tag' for the ProgramPoint.
102 ProgramPoint progPoint = node->getLocation();
142 const ProgramPoint SuccLoc = succ->getLocation();
292 ProgramPoint P = getLocation();
332 // FIXME: Refactor into a ProgramPoint method?
333 ProgramPoint P = getLocation();
394 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L,
432 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L
    [all...]
ExprEngine.cpp 34 #include "clang/Analysis/ProgramPoint.h"
693 ProgramPoint::Kind K) {
694 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind ||
711 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind &&
1601 ProgramPoint::PreStmtKind);
1905 ProgramPoint L = N->getLocation();
1933 ProgramPoint NewNodeLoc =
2579 ProgramPoint::PostLValueKind);
2591 ProgramPoint::PostLValueKind);
2646 ProgramPoint::PostLValueKind)
    [all...]
ExprEngineObjC.cpp 200 ProgramPoint::PreStmtKind);
LoopUnrolling.cpp 247 ProgramPoint P = N->getLocation();
ExprEngineCXX.cpp 565 BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind);
608 ProgramPoint::PreStmtKind);
1035 nullptr, ProgramPoint::PostLValueKind);
ExprEngineCallAndReturn.cpp 85 const ProgramPoint &PP = Node->getLocation();
185 ProgramPoint::PostStmtPurgeDeadSymbolsKind);
299 ProgramPoint::PostStmtPurgeDeadSymbolsKind);
BugReporterVisitors.cpp 30 #include "clang/Analysis/ProgramPoint.h"
1613 ProgramPoint P = StoreSite->getLocation();
1689 ProgramPoint P = N->getLocation();
1765 ProgramPoint CurPoint = Succ->getLocation();
1959 ProgramPoint ProgPoint = NI->getLocation();
2282 ProgramPoint ProgPoint = N->getLocation();
2893 ProgramPoint ProgLoc = N->getLocation();
3029 ProgramPoint PP = N->getLocation();
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 20 #include "clang/Analysis/ProgramPoint.h"
103 void generateNode(const ProgramPoint &Loc,
155 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
267 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
289 ExplodedNode *generateNode(const ProgramPoint &PP,
300 ExplodedNode *generateSink(const ProgramPoint &PP,
346 ProgramPoint &Location;
350 const NodeBuilderContext &Ctx, ProgramPoint &L)
356 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
362 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location)
    [all...]
CheckerContext.h 32 const ProgramPoint Location;
43 const ProgramPoint &loc,
139 ProgramPoint L = N->getLocation();
394 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
ExplodedGraph.h 22 #include "clang/Analysis/ProgramPoint.h"
123 const ProgramPoint Location;
137 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
144 ProgramPoint getLocation() const { return Location; }
182 const ProgramPoint &Loc,
350 /// where the 'Location' is a ProgramPoint in the CFG. If no node for
353 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
361 ExplodedNode *createUncachedNode(const ProgramPoint &L,
WorkList.h 73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind);
ExprEngine.h 22 #include "clang/Analysis/ProgramPoint.h"
284 /// must only be ProgramPoint::PostStmtPurgeDeadSymbolsKind if an
287 /// it must be ProgramPoint::PreStmtPurgeDeadSymbolsKind (the default)
292 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
663 const ProgramPoint *PP = nullptr);
  /src/external/apache2/llvm/lib/libclangAnalysis/
Makefile 29 ProgramPoint.cpp \
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
UndefBranchChecker.cpp 93 ProgramPoint P = PrevN->getLocation();
AnalyzerStatsChecker.cpp 56 const ProgramPoint &P = I->getLocation();
ObjCSuperDeallocChecker.cpp 266 ProgramPoint P = Succ->getLocation();
UnreachableCodeChecker.cpp 63 const ProgramPoint &P = I->getLocation();
TestAfterDivZeroChecker.cpp 120 ProgramPoint P = Succ->getLocation();
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/FlowSensitive/
DataflowValues.h 19 #include "clang/Analysis/ProgramPoint.h"
51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPIBugReporter.cpp 105 ProgramPoint P = N->getFirstPred()->getLocation();
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 16 #include "clang/Analysis/ProgramPoint.h"
344 const ProgramPoint &PP);
390 ProgramPoint::Kind K);

Completed in 109 milliseconds

1 2