Lines Matching refs:Stmt
790 ExprEffect Seq(clang::Stmt* parent,
874 Environment VisitStmt(clang::Stmt* stmt, const Environment& env) {
876 clang::type* concrete_stmt = dyn_cast_or_null<clang::type>(stmt); \
882 if (clang::Expr* expr = dyn_cast_or_null<clang::Expr>(stmt)) {
911 Environment Visit##type (clang::type* stmt, const Environment& env)
914 Environment Visit##type (clang::type* stmt, const Environment& env) { \
971 void Seq(clang::Stmt* a, clang::Stmt* b, clang::Stmt* c) {
978 void Seq(clang::Stmt* a, clang::Stmt* b) {
984 void Loop(clang::Stmt* a, clang::Stmt* b, clang::Stmt* c) {
989 void Loop(clang::Stmt* a, clang::Stmt* b) {
1016 clang::CompoundStmt::body_iterator end = stmt->body_end();
1017 for (clang::CompoundStmt::body_iterator s = stmt->body_begin();
1028 block.Loop(stmt->getCond(), stmt->getBody());
1036 block.Loop(stmt->getBody(), stmt->getCond());
1042 Block block (VisitStmt(stmt->getInit(), env), this);
1044 block.Loop(stmt->getCond(),
1045 stmt->getBody(),
1046 stmt->getInc());
1052 Environment cond_out = VisitStmt(stmt->getCond(), env);
1053 Environment then_out = VisitStmt(stmt->getThen(), cond_out);
1054 Environment else_out = VisitStmt(stmt->getElse(), cond_out);
1060 block.Seq(stmt->getCond(), stmt->getBody());
1066 Environment after_lhs = VisitStmt(stmt->getLHS(), in);
1067 return VisitStmt(stmt->getSubStmt(), after_lhs);
1072 return VisitStmt(stmt->getSubStmt(), in);
1076 VisitExpr(stmt->getRetValue(), env);
1137 clang::DeclStmt::decl_iterator end = stmt->decl_end();
1138 for (clang::DeclStmt::decl_iterator decl = stmt->decl_begin();
