Files
swift-mirror/test/stdlib/RangeTraps.swift
Max Desiatov ab7cd238fd [6.2] test/CMakeLists.txt: run Embedded Swift for Wasm tests (#83287)
Cherry-pick of #83128, #82399, and #82878, merged as ea6ca2b5db, 0c4e56174b, and e34eb3331f respectively.

**Explanation**: Currently `test/CMakeLists.txt` can only set `SWIFT_LIT_ARGS` for all tests uniformly. This means that we can't have tests for Embedded Swift with a different set of `lit.py` arguments.

Also, create new `check-swift-embedded-wasi` target from `test/CMakeLists.txt`, tweak `lit.cfg` to support WASI Clang resource dir, exclude unsupported tests based on `CPU=wasm32` instead of `OS=wasi`.

**Scope**: Limited to Embedded Swift test suite.
**Risk**: Low, due to limited scope.
**Testing**: #82878 was incubated on `main` for 2 weeks, #82399 for 3 weeks with no disruption, #83128 merged this week, but enables all these tests on CI, which are consistently passing.
**Issue**: rdar://156585717
**Reviewer**: @bnbarham
2025-07-26 09:48:47 +01:00

151 lines
3.5 KiB
Swift

//===--- RangeTraps.swift -------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
// RUN: %empty-directory(%t)
// RUN: %target-build-swift %s -o %t/a.out_Debug -Onone
// RUN: %target-build-swift %s -o %t/a.out_Release -O
//
// RUN: %target-codesign %t/a.out_Debug
// RUN: %target-codesign %t/a.out_Release
// RUN: %target-run %t/a.out_Debug
// RUN: %target-run %t/a.out_Release
// REQUIRES: executable_test
// UNSUPPORTED: OS=wasip1
import StdlibUnittest
let testSuiteSuffix = _isDebugAssertConfiguration() ? "_debug" : "_release"
var RangeTraps = TestSuite("RangeTraps" + testSuiteSuffix)
RangeTraps.test("HalfOpen")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
var range = 1..<1
expectType(CountableRange<Int>.self, &range)
expectCrashLater()
_ = 1..<0
}
RangeTraps.test("Closed")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
var range = 1...1
expectType(CountableClosedRange<Int>.self, &range)
expectCrashLater()
_ = 1...0
}
RangeTraps.test("OutOfRange")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
_ = 0..<Int.max // This is a CountableRange
// This works for Ranges now!
expectTrue((0...Int.max).contains(Int.max))
}
RangeTraps.test("CountablePartialRangeFrom")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
let range = (Int.max - 1)...
var it = range.makeIterator()
_ = it.next()
expectCrashLater()
_ = it.next()
}
RangeTraps.test("nanLowerBound")
.code {
expectCrashLater()
_ = Double.nan ... 0
}
RangeTraps.test("nanUpperBound")
.code {
expectCrashLater()
_ = 0 ... Double.nan
}
RangeTraps.test("nanLowerBoundPartial")
.code {
expectCrashLater()
_ = Double.nan ..< 0
}
RangeTraps.test("nanUpperBoundPartial")
.code {
expectCrashLater()
_ = 0 ..< Double.nan
}
RangeTraps.test("fromNaN")
.code {
expectCrashLater()
_ = Double.nan...
}
RangeTraps.test("toNaN")
.code {
expectCrashLater()
_ = ..<Double.nan
}
RangeTraps.test("throughNaN")
.code {
expectCrashLater()
_ = ...Double.nan
}
if #available(SwiftStdlib 5.6, *) {
RangeTraps.test("UIntOverflow")
.code {
expectCrashLater()
_blackHole((0 ..< UInt.max).count)
}
}
if #available(SwiftStdlib 5.5, *) {
// Debug check was introduced in https://github.com/apple/swift/pull/34961
RangeTraps.test("UncheckedHalfOpen")
.xfail(.custom(
{ !_isStdlibDebugChecksEnabled() },
reason: "assertions are disabled in Release and Unchecked mode"))
.code {
expectCrashLater()
var range = Range(uncheckedBounds: (lower: 1, upper: 0))
}
RangeTraps.test("UncheckedClosed")
.xfail(.custom(
{ !_isStdlibDebugChecksEnabled() },
reason: "assertions are disabled in Release and Unchecked mode"))
.code {
expectCrashLater()
var range = ClosedRange(uncheckedBounds: (lower: 1, upper: 0))
}
}
runAllTests()