Swift Package IndexBuild Information
Successful build of SwiftCheck, reference master (748359), with Swift 6.0 for Linux on 30 Nov 2024 10:38:51 UTC.
Swift 6 data race errors: 5
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4606859-1":/host -w "$PWD" 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 -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.58.1
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/bow-swift/SwiftCheck.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/bow-swift/SwiftCheck
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at 748359f Update Package.swift
Submodule path 'Carthage/Checkouts/FileCheck': checked out 'bd9cb30ceee1f21c02f51a7168f58471449807d8'
Submodule 'Carthage/Checkouts/FileCheck' (https://github.com/trill-lang/FileCheck.git) registered for path 'Carthage/Checkouts/FileCheck'
Cloning into '/host/spi-builder-workspace/Carthage/Checkouts/FileCheck'...
Cloned https://github.com/bow-swift/SwiftCheck.git
Revision (git rev-parse @):
748359f9a95edf94d0c4664102f104f56b1ff1fb
SUCCESS checkout https://github.com/bow-swift/SwiftCheck.git at master
========================================
Build
========================================
Selected platform: linux
Swift version: 6.0
Building package at path: $PWD
https://github.com/bow-swift/SwiftCheck.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4606859-1":/host -w "$PWD" 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 -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures 2>&1
basic-6.0-latest: Pulling from finestructure/spi-images
Digest: sha256:47d26c99ca4f1ac0a332c85fd5b13ff4390e72115219984a57a68fe9d1063a05
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:basic-6.0-latest
Building for debugging...
[0/2] Write sources
[1/2] Write swift-version-24593BA9C3E375BF.txt
[3/17] Compiling SwiftCheck Test.swift
[4/17] Compiling SwiftCheck Testable.swift
[5/18] Compiling SwiftCheck WitnessedArbitrary.swift
[6/18] Compiling SwiftCheck Rose.swift
[7/18] Compiling SwiftCheck State.swift
[8/18] Compiling SwiftCheck Property.swift
/host/spi-builder-workspace/Sources/SwiftCheck/Random.swift:103:13: warning: var 'theStdGen' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
101 | }
102 |
103 | private var theStdGen : StdGen = mkStdRNG(0)
| |- warning: var 'theStdGen' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'theStdGen' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'theStdGen' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
104 |
105 | /// A library-provided standard random number generator.
[9/18] Compiling SwiftCheck Random.swift
/host/spi-builder-workspace/Sources/SwiftCheck/Random.swift:103:13: warning: var 'theStdGen' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
101 | }
102 |
103 | private var theStdGen : StdGen = mkStdRNG(0)
| |- warning: var 'theStdGen' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'theStdGen' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'theStdGen' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
104 |
105 | /// A library-provided standard random number generator.
[10/18] Compiling SwiftCheck Compose.swift
[11/18] Compiling SwiftCheck Gen.swift
[12/18] Compiling SwiftCheck Lattice.swift
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:111:13: warning: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
109 |
110 | /// Maximum value of `Float`.
111 | public var FLT_MAX: Float = 3.40282347e+38
| |- warning: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'FLT_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'FLT_MAX' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:13: warning: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| |- warning: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'FLT_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'FLT_MIN' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
114 |
115 | /// Maximum value of `Double`.
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:116:13: warning: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
114 |
115 | /// Maximum value of `Double`.
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
| |- warning: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'DBL_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'DBL_MAX' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:118:13: warning: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
| |- warning: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'DBL_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'DBL_MIN' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
119 | #else
120 | import Darwin
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:30: warning: '1.17549435e-38' underflows and loses precision during conversion to 'Float'
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| `- warning: '1.17549435e-38' underflows and loses precision during conversion to 'Float'
114 |
115 | /// Maximum value of `Double`.
[13/18] Compiling SwiftCheck Modifiers.swift
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:111:13: warning: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
109 |
110 | /// Maximum value of `Float`.
111 | public var FLT_MAX: Float = 3.40282347e+38
| |- warning: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'FLT_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'FLT_MAX' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:13: warning: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| |- warning: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'FLT_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'FLT_MIN' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
114 |
115 | /// Maximum value of `Double`.
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:116:13: warning: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
114 |
115 | /// Maximum value of `Double`.
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
| |- warning: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'DBL_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'DBL_MAX' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:118:13: warning: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
| |- warning: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'DBL_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'DBL_MIN' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
119 | #else
120 | import Darwin
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:30: warning: '1.17549435e-38' underflows and loses precision during conversion to 'Float'
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| `- warning: '1.17549435e-38' underflows and loses precision during conversion to 'Float'
114 |
115 | /// Maximum value of `Double`.
[14/18] Emitting module SwiftCheck
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:111:13: warning: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
109 |
110 | /// Maximum value of `Float`.
111 | public var FLT_MAX: Float = 3.40282347e+38
| |- warning: var 'FLT_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'FLT_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'FLT_MAX' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:13: warning: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| |- warning: var 'FLT_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'FLT_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'FLT_MIN' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
114 |
115 | /// Maximum value of `Double`.
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:116:13: warning: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
114 |
115 | /// Maximum value of `Double`.
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
| |- warning: var 'DBL_MAX' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'DBL_MAX' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'DBL_MAX' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:118:13: warning: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
116 | public var DBL_MAX: Double = 1.7976931348623157e+308
117 | /// Minimum value of `Double`.
118 | public var DBL_MIN: Double = 2.2250738585072014e-308
| |- warning: var 'DBL_MIN' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'DBL_MIN' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'DBL_MIN' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
119 | #else
120 | import Darwin
/host/spi-builder-workspace/Sources/SwiftCheck/Random.swift:103:13: warning: var 'theStdGen' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
101 | }
102 |
103 | private var theStdGen : StdGen = mkStdRNG(0)
| |- warning: var 'theStdGen' is not concurrency-safe because it is nonisolated global shared mutable state; this is an error in the Swift 6 language mode
| |- note: convert 'theStdGen' to a 'let' constant to make 'Sendable' shared state immutable
| |- note: annotate 'theStdGen' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
104 |
105 | /// A library-provided standard random number generator.
/host/spi-builder-workspace/Sources/SwiftCheck/Lattice.swift:113:30: warning: '1.17549435e-38' underflows and loses precision during conversion to 'Float'
111 | public var FLT_MAX: Float = 3.40282347e+38
112 | /// Minimum value of `Float`.
113 | public var FLT_MIN: Float = 1.17549435e-38
| `- warning: '1.17549435e-38' underflows and loses precision during conversion to 'Float'
114 |
115 | /// Maximum value of `Double`.
[15/18] Compiling SwiftCheck Check.swift
[16/18] Compiling SwiftCheck CoArbitrary.swift
[17/18] Compiling SwiftCheck Arbitrary.swift
[18/18] Compiling SwiftCheck Cartesian.swift
Build complete! (13.29s)
Build complete.
{
"dependencies" : [
],
"manifest_display_name" : "SwiftCheck",
"name" : "SwiftCheck",
"path" : "/host/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "SwiftCheck",
"targets" : [
"SwiftCheck"
],
"type" : {
"library" : [
"automatic"
]
}
}
],
"targets" : [
{
"c99name" : "SwiftCheck",
"module_type" : "SwiftTarget",
"name" : "SwiftCheck",
"path" : "Sources/SwiftCheck",
"product_memberships" : [
"SwiftCheck"
],
"sources" : [
"Arbitrary.swift",
"Cartesian.swift",
"Check.swift",
"CoArbitrary.swift",
"Compose.swift",
"Gen.swift",
"Lattice.swift",
"Modifiers.swift",
"Property.swift",
"Random.swift",
"Rose.swift",
"State.swift",
"Test.swift",
"Testable.swift",
"WitnessedArbitrary.swift"
],
"type" : "library"
}
],
"tools_version" : "5.0"
}
basic-6.0-latest: Pulling from finestructure/spi-images
Digest: sha256:47d26c99ca4f1ac0a332c85fd5b13ff4390e72115219984a57a68fe9d1063a05
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:basic-6.0-latest
Done.