Swift Package IndexBuild Information
Failed to build Finite with Swift 6.0 for Linux.
Build Command
bash -c docker run --rm -v "checkouts-4606859-1":/host -w "$workDir" registry.gitlab.com/finestructure/spi-images:basic-6.0-latest swift build --triple x86_64-unknown-linux-gnu -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.40.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/vknabel/Finite.git
Reference: master
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
From https://github.com/vknabel/Finite
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at cbd5de6 Improvements for Swift 5.3
Cloned https://github.com/vknabel/Finite.git
Revision (git rev-parse @):
cbd5de6ebbabfb39a730d1357c1c3659f4301c45
SUCCESS checkout https://github.com/vknabel/Finite.git at master
========================================
Build
========================================
Selected platform: linux
Swift version: 6.0
Building package at path: $workDir
https://github.com/vknabel/Finite.git
Running build ...
bash -c docker run --rm -v "checkouts-4606859-1":/host -w "$workDir" registry.gitlab.com/finestructure/spi-images:basic-6.0-latest swift build --triple x86_64-unknown-linux-gnu -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete 2>&1
Fetching https://github.com/JohnSundell/ShellOut.git
Fetching https://github.com/shibapm/Komondor.git
Fetching https://github.com/f-meloni/Rocket.git
Fetching https://github.com/jpsim/Yams
Fetching https://github.com/shibapm/PackageConfig.git
Fetching https://github.com/shibapm/Logger
[1/956] Fetching shellout
[785/2342] Fetching shellout, rocket
[1110/2922] Fetching shellout, rocket, packageconfig
[2023/3431] Fetching shellout, rocket, packageconfig, komondor
[2148/3547] Fetching shellout, rocket, packageconfig, komondor, logger
Fetched https://github.com/shibapm/Logger from cache (0.26s)
Fetching https://github.com/nicklockwood/SwiftFormat.git
Fetched https://github.com/shibapm/Komondor.git from cache (0.26s)
Fetching https://github.com/kareman/SwiftShell
Fetched https://github.com/shibapm/PackageConfig.git from cache (0.26s)
Fetched https://github.com/JohnSundell/ShellOut.git from cache (0.26s)
Fetched https://github.com/f-meloni/Rocket.git from cache (0.26s)
[1/9337] Fetching yams
[1402/14200] Fetching yams, swiftshell
[14201/52625] Fetching yams, swiftshell, swiftformat
Fetched https://github.com/jpsim/Yams from cache (0.99s)
[7937/43288] Fetching swiftshell, swiftformat
Fetched https://github.com/kareman/SwiftShell from cache (23.73s)
Fetched https://github.com/nicklockwood/SwiftFormat.git from cache (24.37s)
Computing version for https://github.com/f-meloni/Rocket.git
Computed https://github.com/f-meloni/Rocket.git at 1.0.0 (0.49s)
Computing version for https://github.com/nicklockwood/SwiftFormat.git
Computed https://github.com/nicklockwood/SwiftFormat.git at 0.43.5 (1.36s)
Computing version for https://github.com/shibapm/Komondor.git
Computed https://github.com/shibapm/Komondor.git at 1.0.4 (0.47s)
Computing version for https://github.com/shibapm/PackageConfig.git
Computed https://github.com/shibapm/PackageConfig.git at 0.13.0 (2.95s)
Computing version for https://github.com/kareman/SwiftShell
Computed https://github.com/kareman/SwiftShell at 5.0.1 (4.40s)
Computing version for https://github.com/shibapm/Logger
Computed https://github.com/shibapm/Logger at 0.2.3 (0.60s)
Computing version for https://github.com/jpsim/Yams
Computed https://github.com/jpsim/Yams at 2.0.0 (0.57s)
Computing version for https://github.com/JohnSundell/ShellOut.git
Computed https://github.com/JohnSundell/ShellOut.git at 2.3.0 (0.44s)
Creating working copy for https://github.com/shibapm/PackageConfig.git
Working copy of https://github.com/shibapm/PackageConfig.git resolved at 0.13.0
Creating working copy for https://github.com/shibapm/Komondor.git
Working copy of https://github.com/shibapm/Komondor.git resolved at 1.0.4
Creating working copy for https://github.com/f-meloni/Rocket.git
Working copy of https://github.com/f-meloni/Rocket.git resolved at 1.0.0
Creating working copy for https://github.com/jpsim/Yams
Working copy of https://github.com/jpsim/Yams resolved at 2.0.0
Creating working copy for https://github.com/kareman/SwiftShell
Working copy of https://github.com/kareman/SwiftShell resolved at 5.0.1
Creating working copy for https://github.com/JohnSundell/ShellOut.git
Working copy of https://github.com/JohnSundell/ShellOut.git resolved at 2.3.0
Creating working copy for https://github.com/shibapm/Logger
Working copy of https://github.com/shibapm/Logger resolved at 0.2.3
Creating working copy for https://github.com/nicklockwood/SwiftFormat.git
Working copy of https://github.com/nicklockwood/SwiftFormat.git resolved at 0.43.5
Building for debugging...
[0/2] Write sources
[1/2] Write swift-version-24593BA9C3E375BF.txt
[3/7] Emitting module Finite
/host/spi-builder-workspace/Sources/Ref.swift:37:25: warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
5 | }
6 |
7 | internal class Ref<T> {
| `- note: 'T' previously declared here
8 | private var value: () -> T?
9 |
:
35 | }
36 |
37 | private struct Weak<T> {
| `- warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
38 | fileprivate weak var value: Box<T>?
39 | }
/host/spi-builder-workspace/Sources/Ref.swift:41:23: warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
5 | }
6 |
7 | internal class Ref<T> {
| `- note: 'T' previously declared here
8 | private var value: () -> T?
9 |
:
39 | }
40 |
41 | private class Box<T>: ReferenceDisposable {
| `- warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
42 | var value: T?
43 |
/host/spi-builder-workspace/Sources/StateMachine.swift:12:10: warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
8 |
9 | /// Indicates that a transition failed.
10 | public enum TransitionError<T: Hashable>: Error {
| `- note: consider making generic parameter 'T' conform to the 'Sendable' protocol
11 | /// Represents a tried transition that is not allowed.
12 | case denied(from: T, to: T)
| `- warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
13 | }
14 |
/host/spi-builder-workspace/Sources/StateMachine.swift:12:10: warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
8 |
9 | /// Indicates that a transition failed.
10 | public enum TransitionError<T: Hashable>: Error {
| `- note: consider making generic parameter 'T' conform to the 'Sendable' protocol
11 | /// Represents a tried transition that is not allowed.
12 | case denied(from: T, to: T)
| `- warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
13 | }
14 |
[4/7] Compiling Finite Ref.swift
/host/spi-builder-workspace/Sources/Ref.swift:37:25: warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
5 | }
6 |
7 | internal class Ref<T> {
| `- note: 'T' previously declared here
8 | private var value: () -> T?
9 |
:
35 | }
36 |
37 | private struct Weak<T> {
| `- warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
38 | fileprivate weak var value: Box<T>?
39 | }
/host/spi-builder-workspace/Sources/Ref.swift:41:23: warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
5 | }
6 |
7 | internal class Ref<T> {
| `- note: 'T' previously declared here
8 | private var value: () -> T?
9 |
:
39 | }
40 |
41 | private class Box<T>: ReferenceDisposable {
| `- warning: generic parameter 'T' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
42 | var value: T?
43 |
[5/7] Compiling Finite StateMachine.swift
/host/spi-builder-workspace/Sources/StateMachine.swift:12:10: warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
8 |
9 | /// Indicates that a transition failed.
10 | public enum TransitionError<T: Hashable>: Error {
| `- note: consider making generic parameter 'T' conform to the 'Sendable' protocol
11 | /// Represents a tried transition that is not allowed.
12 | case denied(from: T, to: T)
| `- warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
13 | }
14 |
/host/spi-builder-workspace/Sources/StateMachine.swift:12:10: warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
8 |
9 | /// Indicates that a transition failed.
10 | public enum TransitionError<T: Hashable>: Error {
| `- note: consider making generic parameter 'T' conform to the 'Sendable' protocol
11 | /// Represents a tried transition that is not allowed.
12 | case denied(from: T, to: T)
| `- warning: associated value 'denied(from:to:)' of 'Sendable'-conforming generic enum 'TransitionError' has non-sendable type 'T'; this is an error in the Swift 6 language mode
13 | }
14 |
error: compile command failed due to signal 6 (use -v to see invocation)
[6/7] Compiling Finite Transition.swift
SIL verification failed: Two variables with different type but same scope!: lhs == rhs || (lhs.isAddress() && lhs.getObjectType() == rhs) || (DebugVarTy.isAddress() && lhs == rhs.getObjectType())
Verifying instruction:
-> %4 = alloc_stack [lexical] [var_decl] $(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), let, name "lhs", argno 1 // users: %80, %79, %47, %10, %7
%7 = tuple_element_addr %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 0 // user: %8
%10 = tuple_element_addr %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 1 // user: %22
copy_addr %4 to [init] %46 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %47
destroy_addr %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %79
dealloc_stack %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %80
In function:
// closure #1 in StateFlow.description.getter
// Isolation: nonisolated
sil private [ossa] @$s6Finite9StateFlowV11descriptionSSvgSbAA10TransitionVyxG3key_SbAGcSg5valuet_AgH_AiJttXEfU_ : $@convention(thin) <T where T : Hashable> (@in_guaranteed (key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), @in_guaranteed (key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>)) -> (Bool, @error any Error) {
// %0 "lhs" // user: %3
// %1 "rhs" // user: %24
bb0(%0 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), %1 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>)):
%2 = alloc_stack $(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), let, name "lhs" // users: %81, %6, %5, %3
copy_addr %0 to [init] %2 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>) // id: %3
%4 = alloc_stack [lexical] [var_decl] $(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), let, name "lhs", argno 1 // users: %80, %79, %47, %10, %7
%5 = tuple_element_addr %2 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), 0 // user: %8
%6 = tuple_element_addr %2 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), 1 // user: %9
%7 = tuple_element_addr %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 0 // user: %8
copy_addr [take] %5 to [init] %7 : $*Transition<T> // id: %8
%9 = load [take] %6 : $*Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>> // user: %11
%10 = tuple_element_addr %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 1 // user: %22
switch_enum %9 : $Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>, case #Optional.some!enumelt: bb1, case #Optional.none!enumelt: bb2 // id: %11
// %12 // user: %13
bb1(%12 : @owned $@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>): // Preds: bb0
%13 = convert_function %12 : $@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool> to $@callee_guaranteed (@in_guaranteed Transition<T>) -> @out Bool // user: %15
// function_ref thunk for @escaping @callee_guaranteed (@in_guaranteed Transition<A>) -> (@out Bool)
%14 = function_ref @$s6Finite10TransitionVyxGSbIegnr_ADSbIegnd_SHRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>, @guaranteed @callee_guaranteed (@in_guaranteed Transition<τ_0_0>) -> @out Bool) -> Bool // user: %15
%15 = partial_apply [callee_guaranteed] %14<T>(%13) : $@convention(thin) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>, @guaranteed @callee_guaranteed (@in_guaranteed Transition<τ_0_0>) -> @out Bool) -> Bool // user: %16
%16 = convert_function %15 : $@callee_guaranteed (@in_guaranteed Transition<T>) -> Bool to $@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T> // user: %17
%17 = enum $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>, #Optional.some!enumelt, %16 : $@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T> // user: %18
br bb3(%17 : $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %18
bb2: // Preds: bb0
%19 = enum $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>, #Optional.none!enumelt // user: %20
br bb3(%19 : $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %20
// %21 // user: %22
bb3(%21 : @owned $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>): // Preds: bb2 bb1
store %21 to [init] %10 : $*Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>> // id: %22
%23 = alloc_stack $(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), let, name "rhs" // users: %78, %27, %26, %24
copy_addr %1 to [init] %23 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>) // id: %24
%25 = alloc_stack [lexical] [var_decl] $(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), let, name "rhs", argno 2 // users: %77, %76, %58, %31, %28
%26 = tuple_element_addr %23 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), 0 // user: %29
%27 = tuple_element_addr %23 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>), 1 // user: %30
%28 = tuple_element_addr %25 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 0 // user: %29
copy_addr [take] %26 to [init] %28 : $*Transition<T> // id: %29
%30 = load [take] %27 : $*Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>> // user: %32
%31 = tuple_element_addr %25 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 1 // user: %43
switch_enum %30 : $Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>, case #Optional.some!enumelt: bb4, case #Optional.none!enumelt: bb5 // id: %32
// %33 // user: %34
bb4(%33 : @owned $@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>): // Preds: bb3
%34 = convert_function %33 : $@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool> to $@callee_guaranteed (@in_guaranteed Transition<T>) -> @out Bool // user: %36
// function_ref thunk for @escaping @callee_guaranteed (@in_guaranteed Transition<A>) -> (@out Bool)
%35 = function_ref @$s6Finite10TransitionVyxGSbIegnr_ADSbIegnd_SHRzlTR : $@convention(thin) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>, @guaranteed @callee_guaranteed (@in_guaranteed Transition<τ_0_0>) -> @out Bool) -> Bool // user: %36
%36 = partial_apply [callee_guaranteed] %35<T>(%34) : $@convention(thin) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>, @guaranteed @callee_guaranteed (@in_guaranteed Transition<τ_0_0>) -> @out Bool) -> Bool // user: %37
%37 = convert_function %36 : $@callee_guaranteed (@in_guaranteed Transition<T>) -> Bool to $@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T> // user: %38
%38 = enum $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>, #Optional.some!enumelt, %37 : $@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T> // user: %39
br bb6(%38 : $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %39
bb5: // Preds: bb3
%40 = enum $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>, #Optional.none!enumelt // user: %41
br bb6(%40 : $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %41
// %42 // user: %43
bb6(%42 : @owned $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>): // Preds: bb5 bb4
store %42 to [init] %31 : $*Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>> // id: %43
debug_value undef : $any Error, var, name "$error", argno 3 // id: %44
%45 = metatype $@thin Int.Type // user: %69
%46 = alloc_stack $(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // users: %75, %49, %48, %47
copy_addr %4 to [init] %46 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %47
%48 = tuple_element_addr %46 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 0 // users: %56, %52
%49 = tuple_element_addr %46 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 1 // user: %50
%50 = load [take] %49 : $*Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>> // user: %74
%51 = alloc_stack $Transition<T> // users: %73, %55, %54, %52
copy_addr %48 to [init] %51 : $*Transition<T> // id: %52
// function_ref Transition.hashValue.getter
%53 = function_ref @$s6Finite10TransitionV9hashValueSivg : $@convention(method) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Int // user: %54
%54 = apply %53<T>(%51) : $@convention(method) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Int // user: %69
destroy_addr %51 : $*Transition<T> // id: %55
destroy_addr %48 : $*Transition<T> // id: %56
%57 = alloc_stack $(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // users: %72, %60, %59, %58
copy_addr %25 to [init] %57 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %58
%59 = tuple_element_addr %57 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 0 // users: %67, %63
%60 = tuple_element_addr %57 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>), 1 // user: %61
%61 = load [take] %60 : $*Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>> // user: %71
%62 = alloc_stack $Transition<T> // users: %70, %66, %65, %63
copy_addr %59 to [init] %62 : $*Transition<T> // id: %63
// function_ref Transition.hashValue.getter
%64 = function_ref @$s6Finite10TransitionV9hashValueSivg : $@convention(method) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Int // user: %65
%65 = apply %64<T>(%62) : $@convention(method) <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Int // user: %69
destroy_addr %62 : $*Transition<T> // id: %66
destroy_addr %59 : $*Transition<T> // id: %67
// function_ref static Int.< infix(_:_:)
%68 = function_ref @$sSi1loiySbSi_SitFZ : $@convention(method) (Int, Int, @thin Int.Type) -> Bool // user: %69
%69 = apply %68(%54, %65, %45) : $@convention(method) (Int, Int, @thin Int.Type) -> Bool // user: %82
dealloc_stack %62 : $*Transition<T> // id: %70
destroy_value %61 : $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>> // id: %71
dealloc_stack %57 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %72
dealloc_stack %51 : $*Transition<T> // id: %73
destroy_value %50 : $Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>> // id: %74
dealloc_stack %46 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %75
destroy_addr %25 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %76
dealloc_stack %25 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %77
dealloc_stack %23 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>) // id: %78
destroy_addr %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %79
dealloc_stack %4 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0 where τ_0_0 : Hashable> (@in_guaranteed Transition<τ_0_0>) -> Bool for <T>>) // id: %80
dealloc_stack %2 : $*(key: Transition<T>, value: Optional<@callee_guaranteed @substituted <τ_0_0, τ_0_1> (@in_guaranteed τ_0_0) -> @out τ_0_1 for <Transition<T>, Bool>>) // id: %81
return %69 : $Bool // id: %82
} // end sil function '$s6Finite9StateFlowV11descriptionSSvgSbAA10TransitionVyxG3key_SbAGcSg5valuet_AgH_AiJttXEfU_'
Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Stack dump:
0. Program arguments: /usr/bin/swift-frontend -frontend -c /host/spi-builder-workspace/Sources/Ref.swift -primary-file /host/spi-builder-workspace/Sources/StateFlow.swift /host/spi-builder-workspace/Sources/StateMachine.swift /host/spi-builder-workspace/Sources/Transition.swift -emit-dependencies-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/Finite.build/StateFlow.d -emit-reference-dependencies-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/Finite.build/StateFlow.swiftdeps -target x86_64-unknown-linux-gnu -disable-objc-interop -I /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/Modules -enable-testing -g -debug-info-format=dwarf -dwarf-version=4 -module-cache-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/ModuleCache -swift-version 5 -Onone -D SWIFT_PACKAGE -D DEBUG -stats-output-dir .stats -strict-concurrency=complete -empty-abi-descriptor -resource-dir /usr/lib/swift -enable-anonymous-context-mangled-names -file-compilation-dir /host/spi-builder-workspace -Xcc -fPIC -Xcc -g -Xcc -fno-omit-frame-pointer -module-name Finite -plugin-path /usr/lib/swift/host/plugins -plugin-path /usr/local/lib/swift/host/plugins -parse-as-library -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/Finite.build/StateFlow.swift.o -index-store-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/index/store -index-system-modules
1. Swift version 6.0-dev (LLVM 4b0b1f9e1a69523, Swift 91a3abcf816bc36)
2. Compiling with effective version 5.10
3. While evaluating request ASTLoweringRequest(Lowering AST to SIL for file "/host/spi-builder-workspace/Sources/StateFlow.swift")
4. While silgen emitFunction SIL function "@$s6Finite9StateFlowV11descriptionSSvg".
for getter for description (at /host/spi-builder-workspace/Sources/StateFlow.swift:67:16)
5. While silgen closureexpr SIL function "@$s6Finite9StateFlowV11descriptionSSvgSbAA10TransitionVyxG3key_SbAGcSg5valuet_AgH_AiJttXEfU_".
for expression at [/host/spi-builder-workspace/Sources/StateFlow.swift:68:46 - line:70:9] RangeText="{ (lhs, rhs) -> Bool in
lhs.key.hashValue < rhs.key.hashValue
"
6. While verifying SIL function "@$s6Finite9StateFlowV11descriptionSSvgSbAA10TransitionVyxG3key_SbAGcSg5valuet_AgH_AiJttXEfU_".
for expression at [/host/spi-builder-workspace/Sources/StateFlow.swift:68:46 - line:70:9] RangeText="{ (lhs, rhs) -> Bool in
lhs.key.hashValue < rhs.key.hashValue
"
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 swift-frontend 0x000056052f720497
1 swift-frontend 0x000056052f71e1ee
2 swift-frontend 0x000056052f720b0a
3 libc.so.6 0x00007f6142fcf520
4 libc.so.6 0x00007f61430239fc pthread_kill + 300
5 libc.so.6 0x00007f6142fcf476 raise + 22
6 libc.so.6 0x00007f6142fb57f3 abort + 211
7 swift-frontend 0x0000560529c8e4af
8 swift-frontend 0x0000560529cb6518
9 swift-frontend 0x0000560529c950ec
10 swift-frontend 0x0000560529c93540
11 swift-frontend 0x0000560529c918d9
12 swift-frontend 0x0000560529c899b6
13 swift-frontend 0x00005605290ec4c7
14 swift-frontend 0x00005605290eadcf
15 swift-frontend 0x00005605290f49e6
16 swift-frontend 0x0000560529bda35f
17 swift-frontend 0x00005605290edf05
18 swift-frontend 0x00005605291674f2
19 swift-frontend 0x0000560529166eb7
20 swift-frontend 0x000056052915244b
21 swift-frontend 0x0000560529145bbc
22 swift-frontend 0x00005605291228a1
23 swift-frontend 0x0000560529123b32
24 swift-frontend 0x0000560529122921
25 swift-frontend 0x0000560529122a1a
26 swift-frontend 0x000056052915e42d
27 swift-frontend 0x00005605291526b2
28 swift-frontend 0x0000560529145bbc
29 swift-frontend 0x00005605291228a1
30 swift-frontend 0x000056052921dcf7
31 swift-frontend 0x00005605292532fe
32 swift-frontend 0x000056052923dab9
33 swift-frontend 0x0000560529251335
34 swift-frontend 0x000056052925ed5b
35 swift-frontend 0x000056052925e2e1
36 swift-frontend 0x0000560529242e57
37 swift-frontend 0x0000560529240a0d
38 swift-frontend 0x0000560529152414
39 swift-frontend 0x0000560529145bbc
40 swift-frontend 0x0000560529253111
41 swift-frontend 0x000056052923dab9
42 swift-frontend 0x0000560529251335
43 swift-frontend 0x000056052925ed5b
44 swift-frontend 0x000056052925e173
45 swift-frontend 0x0000560529242e57
46 swift-frontend 0x0000560529240a0d
47 swift-frontend 0x0000560529152414
48 swift-frontend 0x00005605291423a6
49 swift-frontend 0x0000560529129239
50 swift-frontend 0x0000560529131412
51 swift-frontend 0x00005605291ff8ce
52 swift-frontend 0x00005605291fe48d
53 swift-frontend 0x0000560529174e1f
54 swift-frontend 0x00005605290eba47
55 swift-frontend 0x00005605290ecd32
56 swift-frontend 0x00005605290e9e03
57 swift-frontend 0x000056052921abc2
58 swift-frontend 0x000056052a56237a
59 swift-frontend 0x00005605290ef414
60 swift-frontend 0x000056052921add6
61 swift-frontend 0x000056052921ab99
62 swift-frontend 0x0000560529216b91
63 swift-frontend 0x0000560529216a68
64 swift-frontend 0x00005605290effdf
65 swift-frontend 0x00005605291fddb4
66 swift-frontend 0x00005605290f5912
67 swift-frontend 0x00005605290f0d8c
68 swift-frontend 0x000056052896222b
69 swift-frontend 0x0000560528978f65
70 swift-frontend 0x0000560528966177
71 swift-frontend 0x00005605289644fc
72 swift-frontend 0x0000560528720dde
73 libc.so.6 0x00007f6142fb6d90
74 libc.so.6 0x00007f6142fb6e40 __libc_start_main + 128
75 swift-frontend 0x000056052871fe85
BUILD FAILURE 6.0 linux