1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
// 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=wasi
import StdlibUnittest
let testSuiteSuffix = _isDebugAssertConfiguration() ? "_debug" : "_release"
var SetTraps = TestSuite("SetTraps" + testSuiteSuffix)
SetTraps.test("RemoveInvalidIndex1")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
var s = Set<Int>()
let index = s.startIndex
expectCrashLater()
s.remove(at: index)
}
SetTraps.test("RemoveInvalidIndex2")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
var s = Set<Int>()
let index = s.endIndex
expectCrashLater()
s.remove(at: index)
}
SetTraps.test("RemoveInvalidIndex3")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
var s: Set<Int> = [ 10, 20, 30 ]
let index = s.endIndex
expectCrashLater()
s.remove(at: index)
}
SetTraps.test("RemoveInvalidIndex4")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.code {
var s: Set<Int> = [ 10 ]
let index = s.firstIndex(of: 10)!
s.remove(at: index)
expectFalse(s.contains(10))
expectCrashLater()
s.remove(at: index)
}
SetTraps.test("RemoveFirstFromEmpty")
.skip(.custom(
{ _isFastAssertConfiguration() },
reason: "this trap is not guaranteed to happen in -Ounchecked"))
.crashOutputMatches(_isDebugAssertConfiguration() ?
"Can't removeFirst from an empty Set" : "")
.code {
var s = Set<Int>()
expectCrashLater()
s.removeFirst()
}
runAllTests()
|
