Lines Matching refs:VisitExpr
720 ExprEffect VisitExpr(clang::Expr* expr, const Environment& env) {
838 Environment after_cond = env.ApplyEffect(VisitExpr(expr->getCond(), env));
839 return ExprEffect::Merge(VisitExpr(expr->getTrueExpr(), after_cond),
840 VisitExpr(expr->getFalseExpr(), after_cond));
869 return ExprEffect::Merge(VisitExpr(lhs, env), VisitExpr(rhs, env));
877 return VisitExpr(expr->getSubExpr(), env);
881 return VisitExpr(expr->GetTemporaryExpr(), env);
889 return VisitExpr(expr->getExpr(), env);
893 return VisitExpr(expr->getArgument(), env);
896 DECL_VISIT_EXPR(CXXNewExpr) { return VisitExpr(expr->getInitializer(), env); }
899 return VisitExpr(expr->getSubExpr(), env);
903 return VisitExpr(expr->getSubExpr(), env);
907 return VisitExpr(expr->getSubExpr(), env);
910 DECL_VISIT_EXPR(ConstantExpr) { return VisitExpr(expr->getSubExpr(), env); }
917 return VisitExpr(expr->getBase(), env);
921 return VisitExpr(expr->getSourceExpr(), env);
925 return VisitExpr(expr->getSubExpr(), env);
945 return VisitExpr(expr->getSubExpr(), env);
953 return VisitExpr(expr->getArgumentExpr(), env);
957 return VisitExpr(expr->getSubExpr(), env);
970 props.SetEffect(i, VisitExpr(exprs[i], env));
984 out = ExprEffect::MergeSeq(out, VisitExpr(exprs[i], out_env));
1036 props->SetEffect(arg + 1, VisitExpr(call->getArg(arg), env));
1051 props.SetEffect(0, VisitExpr(receiver, env));
1064 props.SetEffect(1, VisitExpr(call->getArg(1), env).Define(var_name));
1126 return env.ApplyEffect(VisitExpr(expr, env));
1317 VisitExpr(stmt->getRetValue(), env);