Merge pull request #273 from CodaFi/argh-values

Use a More Specific Assert for RValue Type Lowering

Author: jckarter

lib/SILGen/SILGenExpr.cpp

@@ -71,7 +71,7 @@ ManagedValue SILGenFunction::emitManagedRValueWithCleanup(SILValue v) {
 
 ManagedValue SILGenFunction::emitManagedRValueWithCleanup(SILValue v,
                                                const TypeLowering &lowering) {
-  assert(lowering.getLoweredType() == v.getType());
+  assert(lowering.getLoweredType().getSwiftRValueType() == v.getType().getSwiftRValueType());
   if (lowering.isTrivial())
     return ManagedValue::forUnmanaged(v);
 

validation-test/compiler_crashers_fixed/21815-swift-lowering-silgen-emitmanagedrvaluewithcleanup.swift

@@ -0,0 +1,12 @@
+// RUN: %target-swift-frontend %s -emit-ir
+
+// Distributed under the terms of the MIT license
+// Test case submitted to project by https://github.com/practicalswift (practicalswift)
+
+struct S<T> {
+    init(f: AutoreleasingUnsafeMutablePointer<T?> -> ()) {
+        var t: T?
+        f(&t)
+    }
+}
+