Lines Matching full:assumption
709 auto *Assumption = A.getArgAsExpr(0); in ActOnCXXAssumeAttr() local
711 if (DiagnoseUnexpandedParameterPack(Assumption)) { in ActOnCXXAssumeAttr()
715 if (Assumption->getDependence() == ExprDependence::None) { in ActOnCXXAssumeAttr()
716 ExprResult Res = BuildCXXAssumeExpr(Assumption, A.getAttrName(), Range); in ActOnCXXAssumeAttr()
719 Assumption = Res.get(); in ActOnCXXAssumeAttr()
726 return Assumption; in ActOnCXXAssumeAttr()
729 ExprResult Sema::BuildCXXAssumeExpr(Expr *Assumption, in BuildCXXAssumeExpr() argument
732 ExprResult Res = CorrectDelayedTyposInExpr(Assumption); in BuildCXXAssumeExpr()
744 Assumption = Res.get(); in BuildCXXAssumeExpr()
745 if (Assumption->HasSideEffects(Context)) in BuildCXXAssumeExpr()
746 Diag(Assumption->getBeginLoc(), diag::warn_assume_side_effects) in BuildCXXAssumeExpr()
749 return Assumption; in BuildCXXAssumeExpr()