Lines Matching refs:getCond
672 Environment after_cond = env.ApplyEffect(VisitExpr(expr->getCond(), env));
1041 block.Loop(stmt->getCond(), stmt->getBody());
1049 block.Loop(stmt->getBody(), stmt->getCond());
1057 block.Loop(stmt->getCond(),
1065 Environment cond_out = VisitStmt(stmt->getCond(), env);
1073 block.Seq(stmt->getCond(), stmt->getBody());
