File: unresolvable_dynamic_metadata_cycles.swift

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (51 lines) | stat: -rw-r--r-- 2,008 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
// RUN: %empty-directory(%t)

// RUN: %target-build-swift-dylib(%t/%target-library-name(resil)) -enable-library-evolution %S/Inputs/resilient_generic_struct_v1.swift -emit-module -emit-module-path %t/resil.swiftmodule -module-name resil
// RUN: %target-codesign %t/%target-library-name(resil)

// RUN: %target-build-swift %s -L %t -I %t -lresil -o %t/main %target-rpath(%t)
// RUN: %target-codesign %t/main

// RUN: %target-build-swift-dylib(%t/%target-library-name(resil)) -enable-library-evolution %S/Inputs/resilient_generic_struct_v2.swift -emit-module -emit-module-path %t/resil.swiftmodule -module-name resil
// RUN: %target-codesign %t/%target-library-name(resil)

// RUN: %target-run %t/main %t/%target-library-name(resil)

// REQUIRES: executable_test

// UNSUPPORTED: use_os_stdlib
// UNSUPPORTED: back_deployment_runtime

import StdlibUnittest

// We build this code against a version of 'resil' where
// ResilientGenericStruct<T> doesn't store a T, then switch the
// dynamic library to a new version where it does, introducing
// an unresolvable dynamic cycle.
//
// It would also be sufficient to demonstrate this crash if the
// compiler *actually* didn't know about the internal implementation
// details of 'resil' when building this file, but since it currently
// still does, it'll report a cycle immediately if we don't pull
// this switcharoo.
import resil

var DynamicMetadataCycleTests =
  TestSuite("Unresolvable dynamic metadata cycle tests")

enum test0_Node {
    case link(ResilientGenericStruct<test0_Node>)
}


DynamicMetadataCycleTests.test("cycle through enum")
  .crashOutputMatches("runtime error: unresolvable type metadata dependency cycle detected")
  .crashOutputMatches("  Request for transitive completion of main.test0_Node")
  .crashOutputMatches("  depends on layout of resil.ResilientGenericStruct<main.test0_Node")
  .crashOutputMatches("  depends on layout of main.test0_Node")
  .code {
    expectCrashLater()
    _blackHole(test0_Node.self)
  }

runAllTests()