mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
79 lines
2.1 KiB
Swift
79 lines
2.1 KiB
Swift
//===--- RangeTraps.swift -------------------------------------------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2016 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See http://swift.org/LICENSE.txt for license information
|
|
// See http://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
// RUN: rm -rf %t
|
|
// RUN: mkdir -p %t
|
|
// RUN: %target-build-swift %s -o %t/a.out_Debug
|
|
// RUN: %target-build-swift %s -o %t/a.out_Release -O
|
|
//
|
|
// RUN: %target-run %t/a.out_Debug
|
|
// RUN: %target-run %t/a.out_Release
|
|
// REQUIRES: executable_test
|
|
|
|
import StdlibUnittest
|
|
|
|
// Also import modules which are used by StdlibUnittest internally. This
|
|
// workaround is needed to link all required libraries in case we compile
|
|
// StdlibUnittest with -sil-serialize-all.
|
|
import SwiftPrivate
|
|
#if _runtime(_ObjC)
|
|
import ObjectiveC
|
|
#endif
|
|
|
|
var RangeTraps = TestSuite("RangeTraps")
|
|
|
|
RangeTraps.test("HalfOpen")
|
|
.skip(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "this trap is not guaranteed to happen in -Ounchecked"))
|
|
.code {
|
|
var range = 1..<1
|
|
expectType(Range<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(Range<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 Range
|
|
|
|
// This works for Intervals, but...
|
|
expectTrue(ClosedInterval(0...Int.max).contains(Int.max))
|
|
|
|
// ...no support yet for Ranges containing the maximum representable value
|
|
expectCrashLater()
|
|
#if arch(i386) || arch(arm)
|
|
// FIXME <rdar://17670791> Range<Int> bounds checking not enforced in optimized 32-bit
|
|
1...0 // crash some other way
|
|
#else
|
|
0...Int.max
|
|
#endif
|
|
}
|
|
|
|
runAllTests()
|
|
|