Swift Package IndexBuild Information
Successful build of SwiftCheck with Swift 6.0 for Linux.
Swift 6 data race errors: 5
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/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: $workDir
https://github.com/typelift/SwiftCheck.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/llvm-swift/FileCheck.git
[1/479] Fetching filecheck
Fetched https://github.com/llvm-swift/FileCheck.git from cache (0.23s)
Computing version for https://github.com/llvm-swift/FileCheck.git
Computed https://github.com/llvm-swift/FileCheck.git at 0.2.6 (0.68s)
Fetching https://github.com/mxcl/Chalk.git
Fetching https://github.com/apple/swift-argument-parser
[1/81] Fetching chalk
Fetched https://github.com/mxcl/Chalk.git from cache (0.23s)
[1/11679] Fetching swift-argument-parser
Fetched https://github.com/apple/swift-argument-parser from cache (0.68s)
Computing version for https://github.com/mxcl/Chalk.git
Computed https://github.com/mxcl/Chalk.git at 0.5.0 (0.41s)
Computing version for https://github.com/apple/swift-argument-parser
Computed https://github.com/apple/swift-argument-parser at 1.4.0 (0.43s)
Creating working copy for https://github.com/mxcl/Chalk.git
Working copy of https://github.com/mxcl/Chalk.git resolved at 0.5.0
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.4.0
[1/1] Compiling plugin GenerateManual
Building for debugging...
[1/3] Write sources
[2/3] Write swift-version-24593BA9C3E375BF.txt
[4/18] Compiling SwiftCheck Compose.swift
[5/18] Compiling SwiftCheck Gen.swift
[6/19] Compiling SwiftCheck Test.swift
[7/19] Compiling SwiftCheck Testable.swift
[8/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 non-isolated 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 non-isolated 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/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 non-isolated 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 non-isolated 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/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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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`.
[11/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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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`.
[12/19] Compiling SwiftCheck Rose.swift
[13/19] Compiling SwiftCheck State.swift
[14/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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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 non-isolated 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/19] Compiling SwiftCheck Arbitrary.swift
[16/19] Compiling SwiftCheck Cartesian.swift
[17/19] Compiling SwiftCheck Check.swift
[18/19] Compiling SwiftCheck CoArbitrary.swift
[19/19] Compiling SwiftCheck WitnessedArbitrary.swift
Build complete! (15.56s)
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"
}
Done.