HomeSort by relevance Sort by last modified time
    Searched refs:PostStore (Results 1 - 5 of 5) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 182 /// \brief If the given node corresponds to a PostStore program point,
189 if (Optional<PostStore> PSL = L.getAs<PostStore>())
  /external/clang/include/clang/Analysis/
ProgramPoint.h 376 class PostStore : public PostStmt {
381 PostStore(const Stmt *S, const LocationContext *L, const void *Loc,
396 PostStore() {}
  /external/clang/lib/StaticAnalyzer/Core/
ExplodedGraph.cpp 86 // (3) The ProgramPoint is for a PostStmt, but not a PostStore.
117 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>())
ExprEngine.cpp     [all...]
BugReporterVisitors.cpp 483 // (2) Succ has this binding and is a PostStore node for this region, i.e.
490 Optional<PostStore> PS = Succ->getLocationAs<PostStore>();
    [all...]

Completed in 203 milliseconds