Page MenuHomePhabricator
Differential D50616 Diff 169716 cfe/trunk/lib/Sema/SemaExpr.cpp

Changeset View

Standalone View

View Options

cfe/trunk/lib/Sema/SemaExpr.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 5878 Lines • ▼ Show 20 Line(s)5858 case Type::STK_ObjCObjectPointer:
5879 case Type::STK_Bool: 5879​ case Type::STK_Bool:
5880 return CK_PointerToBoolean; 5880​ return CK_PointerToBoolean;
5881 case Type::STK_Integral: 5881​ case Type::STK_Integral:
5882 return CK_PointerToIntegral; 5882​ return CK_PointerToIntegral;
5883 case Type::STK_Floating: 5883​ case Type::STK_Floating:
5884 case Type::STK_FloatingComplex: 5884​ case Type::STK_FloatingComplex:
5885 case Type::STK_IntegralComplex: 5885​ case Type::STK_IntegralComplex:
5886 case Type::STK_MemberPointer: 5886​ case Type::STK_MemberPointer:
5887​ case Type::STK_FixedPoint:
5887 llvm_unreachable("illegal cast from pointer"); 5888​ llvm_unreachable("illegal cast from pointer");
5888 } 5889​ }
5889 llvm_unreachable("Should have returned before this"); 5890​ llvm_unreachable("Should have returned before this");
5890 5891​
5892​ case Type::STK_FixedPoint:
5893​ switch (DestTy->getScalarTypeKind()) {
5894​ case Type::STK_FixedPoint:
5895​ return CK_FixedPointCast;
5896​ case Type::STK_Bool:
5897​ Diag(Src.get()->getExprLoc(),
5898​ diag::err_unimplemented_conversion_with_fixed_point_type)
5899​ << DestTy;
5900​ return CK_IntegralToBoolean;
5901​ case Type::STK_Integral:
5902​ case Type::STK_Floating:
5903​ case Type::STK_IntegralComplex:
5904​ case Type::STK_FloatingComplex:
5905​ Diag(Src.get()->getExprLoc(),
5906​ diag::err_unimplemented_conversion_with_fixed_point_type)
5907​ << DestTy;
5908​ return CK_IntegralCast;
5909​ case Type::STK_CPointer:
5910​ case Type::STK_ObjCObjectPointer:
5911​ case Type::STK_BlockPointer:
5912​ case Type::STK_MemberPointer:
5913​ llvm_unreachable("illegal cast to pointer type");
5914​ }
5915​ llvm_unreachable("Should have returned before this");
5916​
5891 case Type::STK_Bool: // casting from bool is like casting from an integer 5917​ case Type::STK_Bool: // casting from bool is like casting from an integer
5892 case Type::STK_Integral: 5918​ case Type::STK_Integral:
5893 switch (DestTy->getScalarTypeKind()) { 5919​ switch (DestTy->getScalarTypeKind()) {
5894 case Type::STK_CPointer: 5920​ case Type::STK_CPointer:
5895 case Type::STK_ObjCObjectPointer: 5921​ case Type::STK_ObjCObjectPointer:
5896 case Type::STK_BlockPointer: 5922​ case Type::STK_BlockPointer:
5897 if (Src.get()->isNullPointerConstant(Context, 5923​ if (Src.get()->isNullPointerConstant(Context,
5898 Expr::NPC_ValueDependentIsNull)) 5924​ Expr::NPC_ValueDependentIsNull))
Show All 12 Lines5933 case Type::STK_IntegralComplex:
5911 return CK_IntegralRealToComplex; 5937​ return CK_IntegralRealToComplex;
5912 case Type::STK_FloatingComplex: 5938​ case Type::STK_FloatingComplex:
5913 Src = ImpCastExprToType(Src.get(), 5939​ Src = ImpCastExprToType(Src.get(),
5914 DestTy->castAs<ComplexType>()->getElementType(), 5940​ DestTy->castAs<ComplexType>()->getElementType(),
5915 CK_IntegralToFloating); 5941​ CK_IntegralToFloating);
5916 return CK_FloatingRealToComplex; 5942​ return CK_FloatingRealToComplex;
5917 case Type::STK_MemberPointer: 5943​ case Type::STK_MemberPointer:
5918 llvm_unreachable("member pointer type in C"); 5944​ llvm_unreachable("member pointer type in C");
5945​ case Type::STK_FixedPoint:
5946​ Diag(Src.get()->getExprLoc(),
5947​ diag::err_unimplemented_conversion_with_fixed_point_type)
5948​ << SrcTy;
5949​ return CK_IntegralCast;
5919 } 5950​ }
5920 llvm_unreachable("Should have returned before this"); 5951​ llvm_unreachable("Should have returned before this");
5921 5952​
5922 case Type::STK_Floating: 5953​ case Type::STK_Floating:
5923 switch (DestTy->getScalarTypeKind()) { 5954​ switch (DestTy->getScalarTypeKind()) {
5924 case Type::STK_Floating: 5955​ case Type::STK_Floating:
5925 return CK_FloatingCast; 5956​ return CK_FloatingCast;
5926 case Type::STK_Bool: 5957​ case Type::STK_Bool:
Show All 11 Lines5967 Src = ImpCastExprToType(Src.get(),
5938 CK_FloatingToIntegral); 5969​ CK_FloatingToIntegral);
5939 return CK_IntegralRealToComplex; 5970​ return CK_IntegralRealToComplex;
5940 case Type::STK_CPointer: 5971​ case Type::STK_CPointer:
5941 case Type::STK_ObjCObjectPointer: 5972​ case Type::STK_ObjCObjectPointer:
5942 case Type::STK_BlockPointer: 5973​ case Type::STK_BlockPointer:
5943 llvm_unreachable("valid float->pointer cast?"); 5974​ llvm_unreachable("valid float->pointer cast?");
5944 case Type::STK_MemberPointer: 5975​ case Type::STK_MemberPointer:
5945 llvm_unreachable("member pointer type in C"); 5976​ llvm_unreachable("member pointer type in C");
5977​ case Type::STK_FixedPoint:
5978​ Diag(Src.get()->getExprLoc(),
5979​ diag::err_unimplemented_conversion_with_fixed_point_type)
5980​ << SrcTy;
5981​ return CK_IntegralCast;
5946 } 5982​ }
5947 llvm_unreachable("Should have returned before this"); 5983​ llvm_unreachable("Should have returned before this");
5948 5984​
5949 case Type::STK_FloatingComplex: 5985​ case Type::STK_FloatingComplex:
5950 switch (DestTy->getScalarTypeKind()) { 5986​ switch (DestTy->getScalarTypeKind()) {
5951 case Type::STK_FloatingComplex: 5987​ case Type::STK_FloatingComplex:
5952 return CK_FloatingComplexCast; 5988​ return CK_FloatingComplexCast;
5953 case Type::STK_IntegralComplex: 5989​ case Type::STK_IntegralComplex:
Show All 13 Lines6001 Src = ImpCastExprToType(Src.get(),
5967 CK_FloatingComplexToReal); 6003​ CK_FloatingComplexToReal);
5968 return CK_FloatingToIntegral; 6004​ return CK_FloatingToIntegral;
5969 case Type::STK_CPointer: 6005​ case Type::STK_CPointer:
5970 case Type::STK_ObjCObjectPointer: 6006​ case Type::STK_ObjCObjectPointer:
5971 case Type::STK_BlockPointer: 6007​ case Type::STK_BlockPointer:
5972 llvm_unreachable("valid complex float->pointer cast?"); 6008​ llvm_unreachable("valid complex float->pointer cast?");
5973 case Type::STK_MemberPointer: 6009​ case Type::STK_MemberPointer:
5974 llvm_unreachable("member pointer type in C"); 6010​ llvm_unreachable("member pointer type in C");
6011​ case Type::STK_FixedPoint:
6012​ Diag(Src.get()->getExprLoc(),
6013​ diag::err_unimplemented_conversion_with_fixed_point_type)
6014​ << SrcTy;
6015​ return CK_IntegralCast;
5975 } 6016​ }
5976 llvm_unreachable("Should have returned before this"); 6017​ llvm_unreachable("Should have returned before this");
5977 6018​
5978 case Type::STK_IntegralComplex: 6019​ case Type::STK_IntegralComplex:
5979 switch (DestTy->getScalarTypeKind()) { 6020​ switch (DestTy->getScalarTypeKind()) {
5980 case Type::STK_FloatingComplex: 6021​ case Type::STK_FloatingComplex:
5981 return CK_IntegralComplexToFloatingComplex; 6022​ return CK_IntegralComplexToFloatingComplex;
5982 case Type::STK_IntegralComplex: 6023​ case Type::STK_IntegralComplex:
Show All 13 Lines6035 Src = ImpCastExprToType(Src.get(),
5996 CK_IntegralComplexToReal); 6037​ CK_IntegralComplexToReal);
5997 return CK_IntegralToFloating; 6038​ return CK_IntegralToFloating;
5998 case Type::STK_CPointer: 6039​ case Type::STK_CPointer:
5999 case Type::STK_ObjCObjectPointer: 6040​ case Type::STK_ObjCObjectPointer:
6000 case Type::STK_BlockPointer: 6041​ case Type::STK_BlockPointer:
6001 llvm_unreachable("valid complex int->pointer cast?"); 6042​ llvm_unreachable("valid complex int->pointer cast?");
6002 case Type::STK_MemberPointer: 6043​ case Type::STK_MemberPointer:
6003 llvm_unreachable("member pointer type in C"); 6044​ llvm_unreachable("member pointer type in C");
6045​ case Type::STK_FixedPoint:
6046​ Diag(Src.get()->getExprLoc(),
6047​ diag::err_unimplemented_conversion_with_fixed_point_type)
6048​ << SrcTy;
6049​ return CK_IntegralCast;
6004 } 6050​ }
6005 llvm_unreachable("Should have returned before this"); 6051​ llvm_unreachable("Should have returned before this");
6006 } 6052​ }
6007 6053​
6008 llvm_unreachable("Unhandled scalar cast"); 6054​ llvm_unreachable("Unhandled scalar cast");
6009} 6055​}
6010 6056​
6011static bool breakDownVectorType(QualType type, uint64_t &len, 6057​static bool breakDownVectorType(QualType type, uint64_t &len,
▲ Show 20 Lines • Show All 6730 Lines • ▼ Show 20 Line(s)12777 case UO_LNot: // logical negation
12742 12788​
12743 if (resultType->isDependentType()) 12789​ if (resultType->isDependentType())
12744 break; 12790​ break;
12745 if (resultType->isScalarType() && !isScopedEnumerationType(resultType)) { 12791​ if (resultType->isScalarType() && !isScopedEnumerationType(resultType)) {
12746 // C99 6.5.3.3p1: ok, fallthrough; 12792​ // C99 6.5.3.3p1: ok, fallthrough;
12747 if (Context.getLangOpts().CPlusPlus) { 12793​ if (Context.getLangOpts().CPlusPlus) {
12748 // C++03 [expr.unary.op]p8, C++0x [expr.unary.op]p9: 12794​ // C++03 [expr.unary.op]p8, C++0x [expr.unary.op]p9:
12749 // operand contextually converted to bool. 12795​ // operand contextually converted to bool.
12796​ if (resultType->getScalarTypeKind() == Type::STK_FixedPoint) {
12797​ return ExprError(
12798​ Diag(Input.get()->getExprLoc(),
12799​ diag::err_unimplemented_conversion_with_fixed_point_type)
12800​ << resultType);
12801​ }
12750 Input = ImpCastExprToType(Input.get(), Context.BoolTy, 12802​ Input = ImpCastExprToType(Input.get(), Context.BoolTy,
12751 ScalarTypeToBooleanCastKind(resultType)); 12803​ ScalarTypeToBooleanCastKind(resultType));
12752 } else if (Context.getLangOpts().OpenCL && 12804​ } else if (Context.getLangOpts().OpenCL &&
12753 Context.getLangOpts().OpenCLVersion < 120) { 12805​ Context.getLangOpts().OpenCLVersion < 120) {
12754 // OpenCL v1.1 6.3.h: The logical operator not (!) does not 12806​ // OpenCL v1.1 6.3.h: The logical operator not (!) does not
12755 // operate on scalar float types. 12807​ // operate on scalar float types.
12756 if (!resultType->isIntegerType() && !resultType->isPointerType()) 12808​ if (!resultType->isIntegerType() && !resultType->isPointerType())
12757 return ExprError(Diag(OpLoc, diag::err_typecheck_unary_expr) 12809​ return ExprError(Diag(OpLoc, diag::err_typecheck_unary_expr)
▲ Show 20 Lines • Show All 3787 Lines • Show Last 20 Lines