Merge pull request #85413 from kubamracek/section-convention-c

Allow function conversions to `@convention(c)` in `@section` expressions

Author: kubamracek

lib/Sema/LegalConstExprVerifier.cpp

@@ -226,9 +226,18 @@ checkSupportedWithSectionAttribute(const Expr *expr,
     if (isa<AbstractClosureExpr>(expr))
       return std::make_pair(expr, Closure);
 
-    // Function conversions are not allowed in constant expressions
-    if (isa<FunctionConversionExpr>(expr))
+    // Function conversions are allowed if the conversion is to '@convention(c)'
+    if (auto functionConvExpr = dyn_cast<FunctionConversionExpr>(expr)) {
+      if (auto targetFnTy =
+              functionConvExpr->getType()->getAs<AnyFunctionType>()) {
+        if (targetFnTy->getExtInfo().getRepresentation() ==
+            FunctionTypeRepresentation::CFunctionPointer) {
+          expressionsToCheck.push_back(functionConvExpr->getSubExpr());
+          continue;
+        }
+      }
       return std::make_pair(expr, Default);
+    }
 
     // Direct references to non-generic functions are allowed
     if (const DeclRefExpr *declRef = dyn_cast<DeclRefExpr>(expr)) {

test/ConstValues/SectionSyntactic.swift

@@ -46,6 +46,8 @@ func bar(x: Int) -> String { return "test" }
 // function references
 @section("mysection") let funcRef1 = foo // ok
 @section("mysection") let funcRef2 = bar // ok
+@section("mysection") let funcRef3: ()->Int = foo // ok
+@section("mysection") let funcRef4: @convention(c) ()->Int = foo // ok
 
 // invalid function references (should be rejected)
 @section("mysection") let invalidFuncRef1 = foo()