<div dir="ltr">ISTM that there's no established way to tell Sema::Diag to not emit its diagnostic, and trying to swap to e.g. Sema::CanPerformCopyInitialization makes us too forgiving. So, given that we need to use CheckSingleAssignmentConstraints directly, I don't see a better way to handle this than plumbing the `Diagnose` boolean through.<div><br></div><div>I'll take a pass at fixing it, and hopefully get a patch out tomorrow.</div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jan 12, 2016 at 1:51 PM, George Burgess IV <span dir="ltr"><<a href="mailto:george.burgess.iv@gmail.com" target="_blank">george.burgess.iv@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Sorry for the delayed response; one of my filters silently marked this mail as read. Looking into it now. :)</div></div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 8, 2016 at 12:38 PM, Bob Wilson <span dir="ltr"><<a href="mailto:bob.wilson@apple.com" target="_blank">bob.wilson@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">George,<br>
<br>
This change caused a serious regression for Objective-C method lookup. See PR26085 (<a href="http://llvm.org/pr26085" rel="noreferrer" target="_blank">http://llvm.org/pr26085</a>).<br>
<br>
For the test case in that PR, Sema::SelectBestMethod looks at the two candidate "test" methods. It will match the second one, but in the process of considering the first candidate, an error diagnostic is generated. This happens within the call to CheckSingleAssignmentConstraints that was added here in IsStandardConversion. The "Diagnose" argument in that call is set to false, but the diagnostic is generated anyway. For the test case in the PR, the diagnostic comes from CheckObjCARCConversion, but it looks like there are some other diagnostics that could also be generated from within CheckSingleAssignmentConstraints.<br>
<br>
I think I could manage a fix, e.g., by threading the “Diagnose” flag through all the relevant code and consistently checking it before emitting diagnostics, but I’m not especially familiar with this part of clang. If you or someone else who knows more about this area can figure out the best way to fix it, I would appreciate it.<br>
<br>
—Bob<br>
<br>
> On Oct 11, 2015, at 1:13 PM, George Burgess IV via cfe-commits <<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a>> wrote:<br>
><br>
> Author: gbiv<br>
> Date: Sun Oct 11 15:13:20 2015<br>
> New Revision: 249995<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=249995&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=249995&view=rev</a><br>
> Log:<br>
> [Sema] Allow C conversions in C overload logic<br>
><br>
> C allows for some implicit conversions that C++ does not, e.g. void* -><br>
> char*. This patch teaches clang that these conversions are okay when<br>
> dealing with overloads in C.<br>
><br>
> Differential Revision: <a href="http://reviews.llvm.org/D13604" rel="noreferrer" target="_blank">http://reviews.llvm.org/D13604</a><br>
><br>
> Modified:<br>
>    cfe/trunk/include/clang/Sema/Overload.h<br>
>    cfe/trunk/include/clang/Sema/Sema.h<br>
>    cfe/trunk/lib/Sema/SemaExpr.cpp<br>
>    cfe/trunk/lib/Sema/SemaOverload.cpp<br>
>    cfe/trunk/test/Sema/overloadable.c<br>
><br>
> Modified: cfe/trunk/include/clang/Sema/Overload.h<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Overload.h?rev=249995&r1=249994&r2=249995&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Overload.h?rev=249995&r1=249994&r2=249995&view=diff</a><br>
> ==============================================================================<br>
> --- cfe/trunk/include/clang/Sema/Overload.h (original)<br>
> +++ cfe/trunk/include/clang/Sema/Overload.h Sun Oct 11 15:13:20 2015<br>
> @@ -83,7 +83,8 @@ namespace clang {<br>
>     ICK_TransparentUnionConversion, ///< Transparent Union Conversions<br>
>     ICK_Writeback_Conversion,  ///< Objective-C ARC writeback conversion<br>
>     ICK_Zero_Event_Conversion, ///< Zero constant to event (OpenCL1.2 6.12.10)<br>
> -    ICK_Num_Conversion_Kinds   ///< The number of conversion kinds<br>
> +    ICK_C_Only_Conversion,     ///< Conversions allowed in C, but not C++<br>
> +    ICK_Num_Conversion_Kinds,  ///< The number of conversion kinds<br>
>   };<br>
><br>
>   /// ImplicitConversionRank - The rank of an implicit conversion<br>
> @@ -95,7 +96,9 @@ namespace clang {<br>
>     ICR_Promotion,               ///< Promotion<br>
>     ICR_Conversion,              ///< Conversion<br>
>     ICR_Complex_Real_Conversion, ///< Complex <-> Real conversion<br>
> -    ICR_Writeback_Conversion     ///< ObjC ARC writeback conversion<br>
> +    ICR_Writeback_Conversion,    ///< ObjC ARC writeback conversion<br>
> +    ICR_C_Conversion             ///< Conversion only allowed in the C standard.<br>
> +                                 ///  (e.g. void* to char*)<br>
>   };<br>
><br>
>   ImplicitConversionRank GetConversionRank(ImplicitConversionKind Kind);<br>
><br>
> Modified: cfe/trunk/include/clang/Sema/Sema.h<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=249995&r1=249994&r2=249995&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=249995&r1=249994&r2=249995&view=diff</a><br>
> ==============================================================================<br>
> --- cfe/trunk/include/clang/Sema/Sema.h (original)<br>
> +++ cfe/trunk/include/clang/Sema/Sema.h Sun Oct 11 15:13:20 2015<br>
> @@ -8292,19 +8292,23 @@ public:<br>
>                                                QualType LHSType,<br>
>                                                QualType RHSType);<br>
><br>
> -  /// Check assignment constraints and prepare for a conversion of the<br>
> -  /// RHS to the LHS type.<br>
> +  /// Check assignment constraints and optionally prepare for a conversion of<br>
> +  /// the RHS to the LHS type. The conversion is prepared for if ConvertRHS<br>
> +  /// is true.<br>
>   AssignConvertType CheckAssignmentConstraints(QualType LHSType,<br>
>                                                ExprResult &RHS,<br>
> -                                               CastKind &Kind);<br>
> +                                               CastKind &Kind,<br>
> +                                               bool ConvertRHS = true);<br>
><br>
>   // CheckSingleAssignmentConstraints - Currently used by<br>
>   // CheckAssignmentOperands, and ActOnReturnStmt. Prior to type checking,<br>
> -  // this routine performs the default function/array converions.<br>
> +  // this routine performs the default function/array converions, if ConvertRHS<br>
> +  // is true.<br>
>   AssignConvertType CheckSingleAssignmentConstraints(QualType LHSType,<br>
>                                                      ExprResult &RHS,<br>
>                                                      bool Diagnose = true,<br>
> -                                                     bool DiagnoseCFAudited = false);<br>
> +                                                     bool DiagnoseCFAudited = false,<br>
> +                                                     bool ConvertRHS = true);<br>
><br>
>   // \brief If the lhs type is a transparent union, check whether we<br>
>   // can initialize the transparent union with the given expression.<br>
><br>
> Modified: cfe/trunk/lib/Sema/SemaExpr.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaExpr.cpp?rev=249995&r1=249994&r2=249995&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaExpr.cpp?rev=249995&r1=249994&r2=249995&view=diff</a><br>
> ==============================================================================<br>
> --- cfe/trunk/lib/Sema/SemaExpr.cpp (original)<br>
> +++ cfe/trunk/lib/Sema/SemaExpr.cpp Sun Oct 11 15:13:20 2015<br>
> @@ -5376,13 +5376,13 @@ CastKind Sema::PrepareScalarCast(ExprRes<br>
>       return CK_IntegralToFloating;<br>
>     case Type::STK_IntegralComplex:<br>
>       Src = ImpCastExprToType(Src.get(),<br>
> -                              DestTy->castAs<ComplexType>()->getElementType(),<br>
> -                              CK_IntegralCast);<br>
> +                      DestTy->castAs<ComplexType>()->getElementType(),<br>
> +                      CK_IntegralCast);<br>
>       return CK_IntegralRealToComplex;<br>
>     case Type::STK_FloatingComplex:<br>
>       Src = ImpCastExprToType(Src.get(),<br>
> -                              DestTy->castAs<ComplexType>()->getElementType(),<br>
> -                              CK_IntegralToFloating);<br>
> +                      DestTy->castAs<ComplexType>()->getElementType(),<br>
> +                      CK_IntegralToFloating);<br>
>       return CK_FloatingRealToComplex;<br>
>     case Type::STK_MemberPointer:<br>
>       llvm_unreachable("member pointer type in C");<br>
> @@ -6867,7 +6867,7 @@ Sema::CheckAssignmentConstraints(SourceL<br>
>   ExprResult RHSPtr = &RHSExpr;<br>
>   CastKind K = CK_Invalid;<br>
><br>
> -  return CheckAssignmentConstraints(LHSType, RHSPtr, K);<br>
> +  return CheckAssignmentConstraints(LHSType, RHSPtr, K, /*ConvertRHS=*/false);<br>
> }<br>
><br>
> /// CheckAssignmentConstraints (C99 6.5.16) - This routine currently<br>
> @@ -6889,7 +6889,7 @@ Sema::CheckAssignmentConstraints(SourceL<br>
> /// Sets 'Kind' for any result kind except Incompatible.<br>
> Sema::AssignConvertType<br>
> Sema::CheckAssignmentConstraints(QualType LHSType, ExprResult &RHS,<br>
> -                                 CastKind &Kind) {<br>
> +                                 CastKind &Kind, bool ConvertRHS) {<br>
>   QualType RHSType = RHS.get()->getType();<br>
>   QualType OrigLHSType = LHSType;<br>
><br>
> @@ -6911,7 +6911,7 @@ Sema::CheckAssignmentConstraints(QualTyp<br>
>       CheckAssignmentConstraints(AtomicTy->getValueType(), RHS, Kind);<br>
>     if (result != Compatible)<br>
>       return result;<br>
> -    if (Kind != CK_NoOp)<br>
> +    if (Kind != CK_NoOp && ConvertRHS)<br>
>       RHS = ImpCastExprToType(RHS.get(), AtomicTy->getValueType(), Kind);<br>
>     Kind = CK_NonAtomicToAtomic;<br>
>     return Compatible;<br>
> @@ -6941,7 +6941,7 @@ Sema::CheckAssignmentConstraints(QualTyp<br>
>       // CK_VectorSplat does T -> vector T, so first cast to the<br>
>       // element type.<br>
>       QualType elType = cast<ExtVectorType>(LHSType)->getElementType();<br>
> -      if (elType != RHSType) {<br>
> +      if (elType != RHSType && ConvertRHS) {<br>
>         Kind = PrepareScalarCast(RHS, elType);<br>
>         RHS = ImpCastExprToType(RHS.get(), elType, Kind);<br>
>       }<br>
> @@ -6974,7 +6974,8 @@ Sema::CheckAssignmentConstraints(QualTyp<br>
>   // Arithmetic conversions.<br>
>   if (LHSType->isArithmeticType() && RHSType->isArithmeticType() &&<br>
>       !(getLangOpts().CPlusPlus && LHSType->isEnumeralType())) {<br>
> -    Kind = PrepareScalarCast(RHS, LHSType);<br>
> +    if (ConvertRHS)<br>
> +      Kind = PrepareScalarCast(RHS, LHSType);<br>
>     return Compatible;<br>
>   }<br>
><br>
> @@ -7099,7 +7100,8 @@ Sema::CheckAssignmentConstraints(QualTyp<br>
>     // Only under strict condition T^ is compatible with an Objective-C pointer.<br>
>     if (RHSType->isBlockPointerType() &&<br>
>         LHSType->isBlockCompatibleObjCPointerType(Context)) {<br>
> -      maybeExtendBlockObject(RHS);<br>
> +      if (ConvertRHS)<br>
> +        maybeExtendBlockObject(RHS);<br>
>       Kind = CK_BlockPointerToObjCPointerCast;<br>
>       return Compatible;<br>
>     }<br>
> @@ -7225,9 +7227,16 @@ Sema::CheckTransparentUnionArgumentConst<br>
> }<br>
><br>
> Sema::AssignConvertType<br>
> -Sema::CheckSingleAssignmentConstraints(QualType LHSType, ExprResult &RHS,<br>
> +Sema::CheckSingleAssignmentConstraints(QualType LHSType, ExprResult &CallerRHS,<br>
>                                        bool Diagnose,<br>
> -                                       bool DiagnoseCFAudited) {<br>
> +                                       bool DiagnoseCFAudited,<br>
> +                                       bool ConvertRHS) {<br>
> +  // If ConvertRHS is false, we want to leave the caller's RHS untouched. Sadly,<br>
> +  // we can't avoid *all* modifications at the moment, so we need some somewhere<br>
> +  // to put the updated value.<br>
> +  ExprResult LocalRHS = CallerRHS;<br>
> +  ExprResult &RHS = ConvertRHS ? CallerRHS : LocalRHS;<br>
> +<br>
>   if (getLangOpts().CPlusPlus) {<br>
>     if (!LHSType->isRecordType() && !LHSType->isAtomicType()) {<br>
>       // C++ 5.17p3: If the left operand is not of class type, the<br>
> @@ -7276,7 +7285,8 @@ Sema::CheckSingleAssignmentConstraints(Q<br>
>     CastKind Kind;<br>
>     CXXCastPath Path;<br>
>     CheckPointerConversion(RHS.get(), LHSType, Kind, Path, false);<br>
> -    RHS = ImpCastExprToType(RHS.get(), LHSType, Kind, VK_RValue, &Path);<br>
> +    if (ConvertRHS)<br>
> +      RHS = ImpCastExprToType(RHS.get(), LHSType, Kind, VK_RValue, &Path);<br>
>     return Compatible;<br>
>   }<br>
><br>
> @@ -7287,6 +7297,7 @@ Sema::CheckSingleAssignmentConstraints(Q<br>
>   //<br>
>   // Suppress this for references: C++ 8.5.3p5.<br>
>   if (!LHSType->isReferenceType()) {<br>
> +    // FIXME: We potentially allocate here even if ConvertRHS is false.<br>
>     RHS = DefaultFunctionArrayLvalueConversion(RHS.get());<br>
>     if (RHS.isInvalid())<br>
>       return Incompatible;<br>
> @@ -7303,7 +7314,7 @@ Sema::CheckSingleAssignmentConstraints(Q<br>
><br>
>   CastKind Kind = CK_Invalid;<br>
>   Sema::AssignConvertType result =<br>
> -    CheckAssignmentConstraints(LHSType, RHS, Kind);<br>
> +    CheckAssignmentConstraints(LHSType, RHS, Kind, ConvertRHS);<br>
><br>
>   // C99 6.5.16.1p2: The value of the right operand is converted to the<br>
>   // type of the assignment expression.<br>
> @@ -7325,7 +7336,8 @@ Sema::CheckSingleAssignmentConstraints(Q<br>
>       return Compatible;<br>
>     }<br>
><br>
> -    RHS = ImpCastExprToType(E, Ty, Kind);<br>
> +    if (ConvertRHS)<br>
> +      RHS = ImpCastExprToType(E, Ty, Kind);<br>
>   }<br>
>   return result;<br>
> }<br>
><br>
> Modified: cfe/trunk/lib/Sema/SemaOverload.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaOverload.cpp?rev=249995&r1=249994&r2=249995&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaOverload.cpp?rev=249995&r1=249994&r2=249995&view=diff</a><br>
> ==============================================================================<br>
> --- cfe/trunk/lib/Sema/SemaOverload.cpp (original)<br>
> +++ cfe/trunk/lib/Sema/SemaOverload.cpp Sun Oct 11 15:13:20 2015<br>
> @@ -130,7 +130,11 @@ ImplicitConversionRank clang::GetConvers<br>
>     ICR_Complex_Real_Conversion,<br>
>     ICR_Conversion,<br>
>     ICR_Conversion,<br>
> -    ICR_Writeback_Conversion<br>
> +    ICR_Writeback_Conversion,<br>
> +    ICR_Exact_Match, // NOTE(gbiv): This may not be completely right --<br>
> +                     // it was omitted by the patch that added<br>
> +                     // ICK_Zero_Event_Conversion<br>
> +    ICR_C_Conversion<br>
>   };<br>
>   return Rank[(int)Kind];<br>
> }<br>
> @@ -162,7 +166,9 @@ static const char* GetImplicitConversion<br>
>     "Complex-real conversion",<br>
>     "Block Pointer conversion",<br>
>     "Transparent Union Conversion",<br>
> -    "Writeback conversion"<br>
> +    "Writeback conversion",<br>
> +    "OpenCL Zero Event Conversion",<br>
> +    "C specific type conversion"<br>
>   };<br>
>   return Name[Kind];<br>
> }<br>
> @@ -1411,7 +1417,7 @@ static bool tryAtomicConversion(Sema &S,<br>
>                                 bool InOverloadResolution,<br>
>                                 StandardConversionSequence &SCS,<br>
>                                 bool CStyle);<br>
> -<br>
> +<br>
> /// IsStandardConversion - Determines whether there is a standard<br>
> /// conversion sequence (C++ [conv], C++ [over.ics.scs]) from the<br>
> /// expression From to the type ToType. Standard conversion sequences<br>
> @@ -1434,13 +1440,10 @@ static bool IsStandardConversion(Sema &S<br>
>   SCS.CopyConstructor = nullptr;<br>
><br>
>   // There are no standard conversions for class types in C++, so<br>
> -  // abort early. When overloading in C, however, we do permit<br>
> -  if (FromType->isRecordType() || ToType->isRecordType()) {<br>
> -    if (S.getLangOpts().CPlusPlus)<br>
> -      return false;<br>
> -<br>
> -    // When we're overloading in C, we allow, as standard conversions,<br>
> -  }<br>
> +  // abort early. When overloading in C, however, we do permit them.<br>
> +  if (S.getLangOpts().CPlusPlus &&<br>
> +      (FromType->isRecordType() || ToType->isRecordType()))<br>
> +    return false;<br>
><br>
>   // The first conversion can be an lvalue-to-rvalue conversion,<br>
>   // array-to-pointer conversion, or function-to-pointer conversion<br>
> @@ -1649,9 +1652,9 @@ static bool IsStandardConversion(Sema &S<br>
>     // tryAtomicConversion has updated the standard conversion sequence<br>
>     // appropriately.<br>
>     return true;<br>
> -  } else if (ToType->isEventT() &&<br>
> +  } else if (ToType->isEventT() &&<br>
>              From->isIntegerConstantExpr(S.getASTContext()) &&<br>
> -             (From->EvaluateKnownConstInt(S.getASTContext()) == 0)) {<br>
> +             From->EvaluateKnownConstInt(S.getASTContext()) == 0) {<br>
>     SCS.Second = ICK_Zero_Event_Conversion;<br>
>     FromType = ToType;<br>
>   } else {<br>
> @@ -1690,11 +1693,28 @@ static bool IsStandardConversion(Sema &S<br>
>   }<br>
>   SCS.setToType(2, FromType);<br>
><br>
> +  if (CanonFrom == CanonTo)<br>
> +    return true;<br>
> +<br>
>   // If we have not converted the argument type to the parameter type,<br>
> -  // this is a bad conversion sequence.<br>
> -  if (CanonFrom != CanonTo)<br>
> +  // this is a bad conversion sequence, unless we're resolving an overload in C.<br>
> +  if (S.getLangOpts().CPlusPlus || !InOverloadResolution)<br>
>     return false;<br>
><br>
> +  ExprResult ER = ExprResult{From};<br>
> +  auto Conv = S.CheckSingleAssignmentConstraints(ToType, ER,<br>
> +                                                 /*Diagnose=*/false,<br>
> +                                                 /*DiagnoseCFAudited=*/false,<br>
> +                                                 /*ConvertRHS=*/false);<br>
> +  if (Conv != Sema::Compatible)<br>
> +    return false;<br>
> +<br>
> +  SCS.setAllToTypes(ToType);<br>
> +  // We need to set all three because we want this conversion to rank terribly,<br>
> +  // and we don't know what conversions it may overlap with.<br>
> +  SCS.First = ICK_C_Only_Conversion;<br>
> +  SCS.Second = ICK_C_Only_Conversion;<br>
> +  SCS.Third = ICK_C_Only_Conversion;<br>
>   return true;<br>
> }<br>
><br>
> @@ -4993,6 +5013,7 @@ static bool CheckConvertedConstantConver<br>
>   case ICK_TransparentUnionConversion:<br>
>   case ICK_Writeback_Conversion:<br>
>   case ICK_Zero_Event_Conversion:<br>
> +  case ICK_C_Only_Conversion:<br>
>     return false;<br>
><br>
>   case ICK_Lvalue_To_Rvalue:<br>
> @@ -5785,7 +5806,7 @@ ObjCMethodDecl *Sema::SelectBestMethod(S<br>
>         Match = false;<br>
>         break;<br>
>       }<br>
> -<br>
> +<br>
>       ImplicitConversionSequence ConversionState<br>
>         = TryCopyInitialization(*this, argExpr, param->getType(),<br>
>                                 /*SuppressUserConversions*/false,<br>
><br>
> Modified: cfe/trunk/test/Sema/overloadable.c<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/overloadable.c?rev=249995&r1=249994&r2=249995&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/overloadable.c?rev=249995&r1=249994&r2=249995&view=diff</a><br>
> ==============================================================================<br>
> --- cfe/trunk/test/Sema/overloadable.c (original)<br>
> +++ cfe/trunk/test/Sema/overloadable.c Sun Oct 11 15:13:20 2015<br>
> @@ -85,3 +85,17 @@ void local() {<br>
> void after_local_1(int) __attribute__((overloadable)); // expected-error {{conflicting types}}<br>
> void after_local_2(int); // expected-error {{must have the 'overloadable' attribute}}<br>
> void after_local_3(int) __attribute__((overloadable));<br>
> +<br>
> +// Make sure we allow C-specific conversions in C.<br>
> +void conversions() {<br>
> +  void foo(char *c) __attribute__((overloadable));<br>
> +  void foo(char *c) __attribute__((overloadable, enable_if(c, "nope.jpg")));<br>
> +<br>
> +  void *ptr;<br>
> +  foo(ptr);<br>
> +<br>
> +  void multi_type(unsigned char *c) __attribute__((overloadable));<br>
> +  void multi_type(signed char *c) __attribute__((overloadable));<br>
> +  unsigned char *c;<br>
> +  multi_type(c);<br>
> +}<br>
><br>
><br>
> _______________________________________________<br>
> cfe-commits mailing list<br>
> <a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits</a><br>
<br>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div></div>