commit d0f1bf63feba92710880ee54e78ec52a7e23197e
author Slava Pestov <sviatoslav.pestov@gmail.com> Fri Jul 06 06:07:26 2018 -0700
committer GitHub <noreply@github.com> Fri Jul 06 06:07:26 2018 -0700
tree a8810f96b1431c76640e7e893425148a85b8d64d
parent 8d77d95711b6679dabd0ecc83319f4fdcdf1d01c
parent b102964729791a302de2bd9cbb53f6f7dc6849aa

Merge pull request #17790 from slavapestov/remove-unused-function

AST: Remove unused function

lib/SIL/TypeLowering.cpp

diff --git a/lib/SIL/TypeLowering.cpp b/lib/SIL/TypeLowering.cpp
index a130aab..0898424 100644
--- a/lib/SIL/TypeLowering.cpp
+++ b/lib/SIL/TypeLowering.cpp
@@ -272,13 +272,13 @@
       return visitAbstractTypeParamType(type);
     }
 
-    bool hasNativeReferenceCounting(CanType type) {
+    Type getConcreteReferenceStorageReferent(Type type) {
       if (type->isTypeParameter()) {
         auto signature = getGenericSignature();
         assert(signature && "dependent type without generic signature?!");
 
         if (auto concreteType = signature->getConcreteType(type))
-          return hasNativeReferenceCounting(concreteType->getCanonicalType());
+          return concreteType->getCanonicalType();
 
         assert(signature->requiresClass(type));
 
@@ -288,17 +288,14 @@
         // at some point the type-checker should prove acyclic-ness.
         auto bound = signature->getSuperclassBound(type);
         if (bound) {
-          return hasNativeReferenceCounting(bound->getCanonicalType());
+          return getConcreteReferenceStorageReferent(bound->getCanonicalType());
         }
 
-        // Ask whether Builtin.UnknownObject uses native reference counting.
         auto &ctx = M.getASTContext();
-        return ctx.TheUnknownObjectType->
-                 usesNativeReferenceCounting(ResilienceExpansion::Maximal);
+        return ctx.TheUnknownObjectType;
       }
 
-      // FIXME: resilience
-      return type->usesNativeReferenceCounting(ResilienceExpansion::Maximal);
+      return type;
     }
 
 #define NEVER_LOADABLE_CHECKED_REF_STORAGE(Name, ...) \
@@ -321,7 +318,11 @@
                                                IsAddressOnly}); \
     } \
     RetTy visit##Name##StorageType(Can##Name##StorageType type) { \
-      if (type->isLoadable(ResilienceExpansion::Maximal)) { \
+      auto referentType = type->getReferentType(); \
+      auto concreteType = getConcreteReferenceStorageReferent(referentType); \
+      auto &ctx = M.getASTContext(); \
+      if (Name##StorageType::get(concreteType, ctx) \
+            ->isLoadable(ResilienceExpansion::Maximal)) {         \
         return asImpl().visitLoadable##Name##StorageType(type); \
       } else { \
         return asImpl().visitAddressOnly##Name##StorageType(type); \

test/SILGen/unowned.swift

diff --git a/test/SILGen/unowned.swift b/test/SILGen/unowned.swift
index 80c5ce4..a64b228 100644
--- a/test/SILGen/unowned.swift
+++ b/test/SILGen/unowned.swift
@@ -159,3 +159,12 @@
 }
 func takesUnownedStruct(_ z: Unowned<C>) {}
 // CHECK-LABEL: sil hidden @$S7unowned18takesUnownedStructyyAA0C0VyAA1CCGF : $@convention(thin) (@guaranteed Unowned<C>) -> ()
+
+// Make sure we don't crash here
+struct UnownedGenericCapture<T : AnyObject> {
+  var object: T
+
+  func f() -> () -> () {
+    return { [unowned object] in _ = object }
+  }
+}