Home
last modified time | relevance | path

Searched refs:PostStore (Results 1 – 5 of 5) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h189 if (Optional<PostStore> PSL = L.getAs<PostStore>()) in getLocationRegionIfPostStore()
/external/clang/include/clang/Analysis/
DProgramPoint.h376 class PostStore : public PostStmt {
381 PostStore(const Stmt *S, const LocationContext *L, const void *Loc,
396 PostStore() {} in PostStore() function
/external/clang/lib/StaticAnalyzer/Core/
DExplodedGraph.cpp117 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
DBugReporterVisitors.cpp490 Optional<PostStore> PS = Succ->getLocationAs<PostStore>(); in VisitNode()
DExprEngine.cpp2021 const ProgramPoint L = PostStore(StoreE, LC, /*Loc*/nullptr, in evalBind()
2049 const ProgramPoint L = PostStore(StoreE, LC, LocReg, nullptr); in evalBind()
2492 else if (Loc.getAs<PostStore>()) in getNodeLabel()