Searched refs:PostStore (Results 1 - 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h136 /// \brief If the given node corresponds to a PostStore program point, retrieve
143 if (const PostStore *PSL = dyn_cast<PostStore>(&L))
/external/clang/include/clang/Analysis/
H A DProgramPoint.h324 class PostStore : public PostStmt { class in namespace:clang
329 PostStore(const Stmt *S, const LocationContext *L, const void *Loc, function in class:clang::PostStore
/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1585 const ProgramPoint L = PostStore(StoreE, LC, LocReg, 0);
1604 // Proceed with the store. We use AssignE as the anchor for the PostStore
1947 else if (isa<PostStore>(Loc))

Completed in 491 milliseconds