lib/Sema/SemaExprCXX.cpp

2481 Sema::IsStringLiteralToNonConstPointerConversion(Expr *From, QualType ToType) {
2483   if (ImplicitCastExpr *Cast = dyn_cast<ImplicitCastExpr>(From))
2484     From = Cast->getSubExpr();
2490   if (StringLiteral *StrLit = dyn_cast<StringLiteral>(From->IgnoreParens()))
2522                                        Expr *From) {
2533     if (S.CompleteConstructorCall(Constructor, From, CastLoc, ConstructorArgs))
2552     assert(!From->getType()->isPointerType() && "Arg can't have pointer type!");
2556     ExprResult Result = S.BuildCXXMemberCallExpr(From, FoundDecl, Conv,
2567     S.CheckMemberOperatorAccess(CastLoc, From, /*arg*/ 0, FoundDecl);
2575 /// expression From to the type ToType using the pre-computed implicit
2580 Sema::PerformImplicitConversion(Expr *From, QualType ToType,
2586     ExprResult Res = PerformImplicitConversion(From, ToType, ICS.Standard,
2590     From = Res.take();
2621           PerformImplicitConversion(From, BeforeToType,
2626         From = Res.take();
2631                                From->getLocStart(),
2636                                From);
2641       From = CastArg.take();
2643       return PerformImplicitConversion(From, ToType, ICS.UserDefined.After,
2648     ICS.DiagnoseAmbiguousConversion(*this, From->getExprLoc(),
2650                             << From->getSourceRange());
2661   return Owned(From);
2665 /// expression From to the type ToType by following the standard
2670 Sema::PerformImplicitConversion(Expr *From, QualType ToType,
2680   QualType FromType = From->getType();
2688                                   From, /*FIXME:ConstructLoc*/SourceLocation(),
2701                                  From, /*HadMultipleCandidates*/ false,
2710     FunctionDecl *Fn = ResolveAddressOfOverloadedFunction(From, ToType,
2715     if (DiagnoseUseOfDecl(Fn, From->getLocStart()))
2718     From = FixOverloadedFunctionReference(From, Found, Fn);
2719     FromType = From->getType();
2737     assert(From->getObjectKind() != OK_ObjCProperty);
2739     ExprResult FromRes = DefaultLvalueConversion(From);
2741     From = FromRes.take();
2747     From = ImpCastExprToType(From, FromType, CK_ArrayToPointerDecay,
2753     From = ImpCastExprToType(From, FromType, CK_FunctionToPointerDecay,
2766     if (CheckExceptionSpecCompatibility(From, ToType))
2774     if (CheckExceptionSpecCompatibility(From, ToType))
2777     From = ImpCastExprToType(From, ToType, CK_NoOp,
2787       From = ImpCastExprToType(From, ToType, CK_IntegralToBoolean,
2790       From = ImpCastExprToType(From, ToType, CK_IntegralCast,
2797     From = ImpCastExprToType(From, ToType, CK_FloatingCast,
2803     QualType FromEl = From->getType()->getAs<ComplexType>()->getElementType();
2816     From = ImpCastExprToType(From, ToType, CK,
2823       From = ImpCastExprToType(From, ToType, CK_IntegralToFloating,
2826       From = ImpCastExprToType(From, ToType, CK_FloatingToIntegral,
2831       From = ImpCastExprToType(From, ToType, CK_NoOp,
2840         Diag(From->getLocStart(),
2842           << ToType << From->getType() << Action
2843           << From->getSourceRange() << 0;
2845         Diag(From->getLocStart(),
2847           << From->getType() << ToType << Action
2848           << From->getSourceRange() << 0;
2850       if (From->getType()->isObjCObjectPointerType() &&
2852         EmitRelatedResultTypeNote(From);
2856                                                     From->getType())) {
2858         Diag(From->getLocStart(),
2861         Diag(From->getLocStart(),
2863           << (Action == AA_Casting) << From->getType() << ToType
2864           << From->getSourceRange();
2869     if (CheckPointerConversion(From, ToType, Kind, BasePath, CStyle))
2875       ExprResult E = From;
2877       From = E.take();
2880       CheckObjCARCConversion(SourceRange(), ToType, From, CCK);
2881     From = ImpCastExprToType(From, ToType, Kind, VK_RValue, &BasePath, CCK)
2889     if (CheckMemberPointerConversion(From, ToType, Kind, BasePath, CStyle))
2891     if (CheckExceptionSpecCompatibility(From, ToType))
2893     From = ImpCastExprToType(From, ToType, Kind, VK_RValue, &BasePath, CCK)
2900     if (From->getType()->isHalfType()) {
2901       From = ImpCastExprToType(From, Context.FloatTy, CK_FloatingCast).take();
2905     From = ImpCastExprToType(From, Context.BoolTy,
2912     if (CheckDerivedToBaseConversion(From->getType(),
2914                                      From->getLocStart(),
2915                                      From->getSourceRange(),
2920     From = ImpCastExprToType(From, ToType.getNonReferenceType(),
2921                       CK_DerivedToBase, From->getValueKind(),
2927     From = ImpCastExprToType(From, ToType, CK_BitCast,
2932     From = ImpCastExprToType(From, ToType, CK_VectorSplat,
2943       if (Context.hasSameUnqualifiedType(ElType, From->getType())) {
2945       } else if (From->getType()->isRealFloatingType()) {
2946         From = ImpCastExprToType(From, ElType,
2949         assert(From->getType()->isIntegerType());
2950         From = ImpCastExprToType(From, ElType,
2954       From = ImpCastExprToType(From, ToType,
2960       const ComplexType *FromComplex = From->getType()->getAs<ComplexType>();
2967       From = ImpCastExprToType(From, ElType,
2976         From = ImpCastExprToType(From, ToType,
2981         From = ImpCastExprToType(From, ToType,
2989     From = ImpCastExprToType(From, ToType.getUnqualifiedType(), CK_BitCast,
2995     ExprResult FromRes = Owned(From);
3000     From = FromRes.take();
3008     From = ImpCastExprToType(From, ToType,
3010                              From->getValueKind()).take();
3030                                   From->getValueKind() : VK_RValue;
3031     From = ImpCastExprToType(From, ToType.getNonLValueExprType(Context),
3036       Diag(From->getLocStart(), diag::warn_deprecated_string_literal_conversion)
3050         ToAtomicType->castAs<AtomicType>()->getValueType(), From->getType()));
3051     From = ImpCastExprToType(From, ToAtomicType, CK_NonAtomicToAtomic,
3055   return Owned(From);
3781     //   is_convertible<From, To> shall be satisfied if and only if
3787     //       return create<From>();
3791     //   From. Only the validity of the immediate context of the expression
3818     OpaqueValueExpr From(KeyLoc, LhsT.getNonLValueExprType(Self.Context),
3820     Expr *FromPtr = &From;
4207 static bool TryClassUnification(Sema &Self, Expr *From, Expr *To,
4229     InitializationSequence InitSeq(Self, Entity, Kind, From);
4237       return InitSeq.Diagnose(Self, Entity, Kind, From);
4243   QualType FTy = From->getType();
4257         InitializationSequence InitSeq(Self, Entity, Kind, From);
4264           return InitSeq.Diagnose(Self, Entity, Kind, From);
4282   InitializationSequence InitSeq(Self, Entity, Kind, From);
4286     return InitSeq.Diagnose(Self, Entity, Kind, From);