Lines Matching defs:PostStmt
303 class PostStmt : public StmtPoint {
305 PostStmt() {}
306 PostStmt(const Stmt *S, const void *data, Kind k, const LocationContext *L,
311 explicit PostStmt(const Stmt *S, Kind k, const LocationContext *L,
315 explicit PostStmt(const Stmt *S, const LocationContext *L,
328 class PostCondition : public PostStmt {
332 : PostStmt(S, PostConditionKind, L, tag) {}
385 class PostLoad : public PostStmt {
389 : PostStmt(S, PostLoadKind, L, tag) {}
400 class PostStore : public PostStmt {
407 : PostStmt(S, PostStoreKind, L, tag) {
426 class PostLValue : public PostStmt {
430 : PostStmt(S, PostLValueKind, L, tag) {}
568 /// Explicit calls will appear as PostStmt program points.
