HomeSort by: relevance | last modified time | path
    Searched refs:PostStore (Results 1 - 6 of 6) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 133 /// If the given node corresponds to a PostStore program point,
140 if (Optional<PostStore> PSL = L.getAs<PostStore>())
  /src/external/apache2/llvm/dist/clang/lib/Analysis/
ProgramPoint.cpp 216 else if (getAs<PostStore>())
217 Out << "PostStore";
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/
ProgramPoint.h 431 class PostStore : public PostStmt {
436 PostStore(const Stmt *S, const LocationContext *L, const void *Loc,
451 PostStore() = default;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ExplodedGraph.cpp 76 // (3) The ProgramPoint is for a PostStmt, but not a PostStore.
107 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>())
BugReporterVisitors.cpp 292 if (!N->getLocationAs<PostStore>() && !N->getLocationAs<PostInitializer>() &&
1430 // (2) Succ has this binding and is a PostStore node for this region, i.e.
1437 Optional<PostStore> PS = Succ->getLocationAs<PostStore>();
ExprEngine.cpp 846 PostStore PS(Init, LC, /*Loc*/ nullptr, /*tag*/ nullptr);
2896 const ProgramPoint L = PostStore(StoreE, LC, /*Loc*/nullptr,
2921 const ProgramPoint L = PostStore(StoreE, LC, LocReg, nullptr);
2939 // Proceed with the store. We use AssignE as the anchor for the PostStore

Completed in 60 milliseconds