Lines Matching defs:PostStmt
302 class PostStmt : public StmtPoint {
304 PostStmt() {}
305 PostStmt(const Stmt *S, const void *data, Kind k, const LocationContext *L,
310 explicit PostStmt(const Stmt *S, Kind k, const LocationContext *L,
314 explicit PostStmt(const Stmt *S, const LocationContext *L,
327 class PostCondition : public PostStmt {
331 : PostStmt(S, PostConditionKind, L, tag) {}
384 class PostLoad : public PostStmt {
388 : PostStmt(S, PostLoadKind, L, tag) {}
399 class PostStore : public PostStmt {
406 : PostStmt(S, PostStoreKind, L, tag) {
425 class PostLValue : public PostStmt {
429 : PostStmt(S, PostLValueKind, L, tag) {}
567 /// Explicit calls will appear as PostStmt program points.
