Swift Package IndexBuild Information
Successful build of SwiftCheck, reference master (7494be), with Swift 6.0 for Linux on 31 Oct 2024 09:13:29 UTC.
Swift 6 data race errors: 5
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-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 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.56.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/typelift/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/typelift/SwiftCheck
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at 7494bed Fix Xcode 12.5 build issues (#305)
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/typelift/SwiftCheck.git
Revision (git rev-parse @):
7494bedfa42972431004a5d478dbf1fc2655e1e6
SUCCESS checkout https://github.com/typelift/SwiftCheck.git at master
========================================
Build
========================================
Selected platform: linux
Swift version: 6.0
Building package at path: $PWD
https://github.com/typelift/SwiftCheck.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-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 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
Fetching https://github.com/llvm-swift/FileCheck.git
[1/479] Fetching filecheck
Fetched https://github.com/llvm-swift/FileCheck.git from cache (0.30s)
Computing version for https://github.com/llvm-swift/FileCheck.git
Computed https://github.com/llvm-swift/FileCheck.git at 0.2.6 (0.72s)
Fetching https://github.com/apple/swift-argument-parser
Fetching https://github.com/mxcl/Chalk.git
[1/81] Fetching chalk
Fetched https://github.com/mxcl/Chalk.git from cache (0.27s)
[1/12321] Fetching swift-argument-parser
Fetched https://github.com/apple/swift-argument-parser from cache (0.87s)
Computing version for https://github.com/mxcl/Chalk.git
Computed https://github.com/mxcl/Chalk.git at 0.5.0 (0.63s)
Computing version for https://github.com/apple/swift-argument-parser
Computed https://github.com/apple/swift-argument-parser at 1.5.0 (0.59s)
Creating working copy for https://github.com/llvm-swift/FileCheck.git
Working copy of https://github.com/llvm-swift/FileCheck.git resolved at 0.2.6
Creating working copy for https://github.com/apple/swift-argument-parser
Working copy of https://github.com/apple/swift-argument-parser resolved at 1.5.0
Creating working copy for https://github.com/mxcl/Chalk.git
Working copy of https://github.com/mxcl/Chalk.git resolved at 0.5.0
[1/1] Compiling plugin GenerateManual
Building for debugging...
[1/3] Write sources
[2/3] Write swift-version-24593BA9C3E375BF.txt
[4/18] Compiling SwiftCheck Rose.swift
[5/18] Compiling SwiftCheck State.swift
[6/18] Compiling SwiftCheck Test.swift
[7/18] Compiling SwiftCheck Testable.swift
[8/19] Compiling SwiftCheck Compose.swift
[9/19] Compiling SwiftCheck Gen.swift
[10/19] 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.
[11/19] 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.
[12/19] Compiling SwiftCheck WitnessedArbitrary.swift
[13/19] 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`.
[14/19] 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`.
[15/19] 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`.
[16/19] Compiling SwiftCheck Arbitrary.swift
[17/19] Compiling SwiftCheck Cartesian.swift
[18/19] Compiling SwiftCheck Check.swift
[19/19] Compiling SwiftCheck CoArbitrary.swift
Build complete! (23.22s)
Build complete.
{
"dependencies" : [
{
"identity" : "filecheck",
"requirement" : {
"range" : [
{
"lower_bound" : "0.1.0",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/llvm-swift/FileCheck.git"
}
],
"manifest_display_name" : "SwiftCheck",
"name" : "SwiftCheck",
"path" : "/host/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "SwiftCheck",
"targets" : [
"SwiftCheck"
],
"type" : {
"library" : [
"automatic"
]
}
}
],
"targets" : [
{
"c99name" : "SwiftCheckTests",
"module_type" : "SwiftTarget",
"name" : "SwiftCheckTests",
"path" : "Tests/SwiftCheckTests",
"product_dependencies" : [
"FileCheck"
],
"sources" : [
"BooleanIdentitySpec.swift",
"CartesianSpec.swift",
"ComplexSpec.swift",
"DiscardSpec.swift",
"FailureSpec.swift",
"FormatterSpec.swift",
"GenSpec.swift",
"LambdaSpec.swift",
"ModifierSpec.swift",
"PathSpec.swift",
"PropertySpec.swift",
"ReplaySpec.swift",
"RoseSpec.swift",
"ShrinkSpec.swift",
"SimpleSpec.swift",
"TestSpec.swift"
],
"target_dependencies" : [
"SwiftCheck"
],
"type" : "test"
},
{
"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.2"
}
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.