| // RUN: %target-run-simple-swift |
| // REQUIRES: executable_test |
| |
| import StdlibUnittest |
| |
| var MetadataCycleTests = TestSuite("Metadata cycle tests") |
| |
| // This no longer crashes because we emit type layouts and |
| // not full metadata for fixed-size class fields. |
| class List<T> { |
| var value: T |
| var next: List<T>? |
| |
| init(value: T) { |
| self.value = value |
| } |
| init(value: T, next: List<T>) { |
| self.value = value |
| self.next = next |
| } |
| } |
| |
| MetadataCycleTests.test("rdar://18067671") { |
| let a = List(value: 0.0) |
| let b = List(value: 1.0, next: a) |
| let c = List(value: 2.0, next: b) |
| b.value = 4.0 |
| a.value = 8.0 |
| |
| expectEqual(c.value, 2.0) |
| expectEqual(c.next!.value, 4.0) |
| expectEqual(c.next!.next!.value, 8.0) |
| } |
| |
| // This no longer crashes because nested type metadata |
| // does not refer to the parent type metadata anymore. |
| struct X<T> { |
| enum S { |
| case some(T), none |
| } |
| |
| init() { a = .none } |
| var a: S |
| } |
| |
| MetadataCycleTests.test("rdar://33767511") { |
| var str = "" |
| print(X<()>.self, to: &str) |
| expectEqual("X<()>\n", str) |
| } |
| |
| // The remaining test cases are "bona fide" examples of recursive metadata. |
| |
| // rdar://18448285 |
| class test0_GenericClass<T> { |
| func foo() {} |
| } |
| |
| class test0_GenericSubclass<T> : test0_GenericClass<test0_GenericSubclass> {} |
| |
| class test0_NonGenericSubclass : test0_GenericSubclass<test0_NonGenericSubclass> {} |
| |
| MetadataCycleTests.test("rdar://18448285") { |
| test0_GenericSubclass<Int>().foo() |
| test0_NonGenericSubclass().foo() |
| } |
| |
| // rdar://18685206 |
| final class test1_Box<T> { |
| init(_ value: T) { |
| self.value = value |
| } |
| let value: T |
| } |
| enum test1_List<T> { |
| case Nil |
| case Cons(T, test1_Box<test1_List<T>>) |
| var head: T? { |
| switch self { |
| case .Nil: |
| return nil |
| case .Cons(let h, _): |
| return h |
| } |
| } |
| } |
| MetadataCycleTests.test("rdar://18685206") { |
| let x: test1_List<Int> = .Nil |
| _ = x.head |
| } |
| |
| // rdar://18847269 |
| struct test2_Thunk<T> {} |
| enum test2_List<T> { |
| case Nil |
| case Cons(T, test2_Thunk<test2_List>) |
| } |
| MetadataCycleTests.test("rdar://18847269") { |
| let il0: test2_List<Int> = .Nil |
| _ = il0 |
| } |
| |
| // rdar://18903483 |
| final class test3_Box<T> { |
| private let _value : () -> T |
| init(_ value : T) { |
| self._value = { value } |
| } |
| } |
| enum test3_List<A> { |
| case Nil |
| case Cons(A, test3_Box<test3_List<A>>) |
| } |
| MetadataCycleTests.test("rdar://18903483") { |
| let x : test3_List<Int> = .Nil |
| _ = x |
| |
| // rdar://19371082 |
| _ = test3_List.Cons(7, test3_Box(test3_List.Nil)) |
| } |
| |
| // rdar://19320857 |
| struct test4_RoseTree<T> { |
| let value: T |
| let branches: [test4_RoseTree] |
| } |
| MetadataCycleTests.test("rdar://19320857") { |
| _ = test4_RoseTree(value: 1, branches: []) |
| } |
| |
| runAllTests() |