Lines Matching refs:VisitExpr
530 ExprEffect VisitExpr(clang::Expr* expr, const Environment& env) { in VisitExpr() function in __anonce81c4690111::FunctionAnalyzer
648 Environment after_cond = env.ApplyEffect(VisitExpr(expr->getCond(), env)); in DECL_VISIT_EXPR()
649 return ExprEffect::Merge(VisitExpr(expr->getTrueExpr(), after_cond), in DECL_VISIT_EXPR()
650 VisitExpr(expr->getFalseExpr(), after_cond)); in DECL_VISIT_EXPR()
681 return ExprEffect::Merge(VisitExpr(lhs, env), VisitExpr(rhs, env)); in DECL_VISIT_EXPR()
686 return VisitExpr(rhs, env).Define(var_name); in DECL_VISIT_EXPR()
697 return VisitExpr(expr->getSubExpr(), env); in DECL_VISIT_EXPR()
705 return VisitExpr(expr->getExpr(), env); in DECL_VISIT_EXPR()
709 return VisitExpr(expr->getArgument(), env); in DECL_VISIT_EXPR()
720 return VisitExpr(expr->getSubExpr(), env); in DECL_VISIT_EXPR()
724 return VisitExpr(expr->getSubExpr(), env); in DECL_VISIT_EXPR()
732 return VisitExpr(expr->getBase(), env); in DECL_VISIT_EXPR()
736 return VisitExpr(expr->getSourceExpr(), env); in DECL_VISIT_EXPR()
740 return VisitExpr(expr->getSubExpr(), env); in DECL_VISIT_EXPR()
760 return VisitExpr(expr->getSubExpr(), env); in DECL_VISIT_EXPR()
764 return VisitExpr(expr->getSubExpr(), env); in DECL_VISIT_EXPR()
782 props.SetEffect(i, VisitExpr(exprs[i], env)); in Par()
797 out = ExprEffect::MergeSeq(out, VisitExpr(exprs[i], out_env)); in Seq()
839 props->SetEffect(arg + 1, VisitExpr(call->getArg(arg), env)); in VisitArguments()
852 props.SetEffect(0, VisitExpr(receiver, env)); in VisitCallExpr()
883 return env.ApplyEffect(VisitExpr(expr, env)); in VisitStmt()
1076 VisitExpr(stmt->getRetValue(), env); in DECL_VISIT_STMT()