Lines Matching defs:Assumption

726   auto *Assumption = A.getArgAsExpr(0);
728   if (DiagnoseUnexpandedParameterPack(Assumption)) {
732   if (Assumption->getDependence() == ExprDependence::None) {
733     ExprResult Res = BuildCXXAssumeExpr(Assumption, A.getAttrName(), Range);
736     Assumption = Res.get();
743   return Assumption;
746 ExprResult Sema::BuildCXXAssumeExpr(Expr *Assumption,
749   ExprResult Res = CorrectDelayedTyposInExpr(Assumption);
761   Assumption = Res.get();
762   if (Assumption->HasSideEffects(Context))
763     Diag(Assumption->getBeginLoc(), diag::warn_assume_side_effects)
766   return Assumption;