Home | History | Annotate | Download | only in gcmole

Lines Matching full:after_cond

648     Environment after_cond = env.ApplyEffect(VisitExpr(expr->getCond(), env));
649     return ExprEffect::Merge(VisitExpr(expr->getTrueExpr(), after_cond),
650                              VisitExpr(expr->getFalseExpr(), after_cond));