Searched refs:PostStore (Results 1 – 5 of 5) sorted by relevance
188 if (Optional<PostStore> PSL = L.getAs<PostStore>()) in getLocationRegionIfPostStore()
376 class PostStore : public PostStmt {381 PostStore(const Stmt *S, const LocationContext *L, const void *Loc,396 PostStore() {} in PostStore() function
116 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
442 Optional<PostStore> PS = Succ->getLocationAs<PostStore>(); in VisitNode()
1791 const ProgramPoint L = PostStore(StoreE, LC, /*Loc*/0, /*tag*/0); in evalBind()1818 const ProgramPoint L = PostStore(StoreE, LC, LocReg, 0); in evalBind()2177 else if (Loc.getAs<PostStore>()) in getNodeLabel()