Searched refs:PostStore (Results 1 – 5 of 5) sorted by relevance
189 if (Optional<PostStore> PSL = L.getAs<PostStore>()) in getLocationRegionIfPostStore()
399 class PostStore : public PostStmt {404 PostStore(const Stmt *S, const LocationContext *L, const void *Loc,419 PostStore() {} in PostStore() function
117 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
490 Optional<PostStore> PS = Succ->getLocationAs<PostStore>(); in VisitNode()
2248 const ProgramPoint L = PostStore(StoreE, LC, /*Loc*/nullptr, in evalBind()2275 const ProgramPoint L = PostStore(StoreE, LC, LocReg, nullptr); in evalBind()2718 else if (Loc.getAs<PostStore>()) in getNodeLabel()