mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
3abbfaa9cb
The `_Concurrency` and `_StringProcessing` modules are implementation details of the standard library; to developers, their contents should behave as though they are declared directly within module `Swift`. This is the exact same behavior we expect of cross-import overlays, so treat these modules as though they are cross-import overlays with no bystanding module. Because these modules don’t re-export the standard library, it’s also necessary to treat `Swift` as a separately imported overlay of itself; do so and make that actually work.
248 lines
7.2 KiB
Swift
248 lines
7.2 KiB
Swift
// RUN: %empty-directory(%t)
|
|
//
|
|
// With -disable-access-control on, `_StringProcessing._internalInvariant` would shadow `Swift._internalInvariant`
|
|
// RUN: %target-build-swift %s -Xfrontend -disable-access-control -Xfrontend -disable-implicit-string-processing-module-import -o %t/Assert_Debug -Onone
|
|
// RUN: %target-build-swift %s -Xfrontend -disable-access-control -Xfrontend -disable-implicit-string-processing-module-import -o %t/Assert_Release -O
|
|
// RUN: %target-build-swift %s -Xfrontend -disable-access-control -Xfrontend -disable-implicit-string-processing-module-import -o %t/Assert_Unchecked -Ounchecked
|
|
//
|
|
// RUN: %target-codesign %t/Assert_Debug
|
|
// RUN: %target-codesign %t/Assert_Release
|
|
// RUN: %target-codesign %t/Assert_Unchecked
|
|
//
|
|
// RUN: %target-run %t/Assert_Debug
|
|
// RUN: %target-run %t/Assert_Release
|
|
// RUN: %target-run %t/Assert_Unchecked
|
|
// REQUIRES: executable_test
|
|
|
|
import StdlibUnittest
|
|
|
|
|
|
|
|
//===---
|
|
// Tests.
|
|
//===---
|
|
|
|
func testTrapsAreNoreturn(i: Int) -> Int {
|
|
// Don't need a return statement in 'case' statements because these functions
|
|
// never return.
|
|
switch i {
|
|
case 2:
|
|
preconditionFailure("cannot happen")
|
|
case 3:
|
|
preconditionFailure("cannot happen")
|
|
case 4:
|
|
_debugPreconditionFailure("cannot happen")
|
|
case 5:
|
|
_internalInvariantFailure("cannot happen")
|
|
|
|
default:
|
|
return 0
|
|
}
|
|
}
|
|
|
|
var Assert = TestSuite("Assert")
|
|
|
|
Assert.test("assert")
|
|
.xfail(.custom(
|
|
{ !_isDebugAssertConfiguration() },
|
|
reason: "assertions are disabled in Release and Unchecked mode"))
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
var x = 2
|
|
assert(x * 21 == 42, "should not fail")
|
|
|
|
expectCrashLater()
|
|
assert(x == 42, "this should fail")
|
|
}
|
|
|
|
Assert.test("assert/StringInterpolation")
|
|
.xfail(.custom(
|
|
{ !_isDebugAssertConfiguration() },
|
|
reason: "assertions are disabled in Release and Unchecked mode"))
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
var should = "should"
|
|
var x = 2
|
|
assert(x * 21 == 42, "\(should) not fail")
|
|
|
|
expectCrashLater()
|
|
assert(x == 42, "this \(should) fail")
|
|
}
|
|
|
|
Assert.test("assertionFailure")
|
|
.skip(.custom(
|
|
{ !_isDebugAssertConfiguration() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
expectCrashLater()
|
|
assertionFailure("this should fail")
|
|
}
|
|
|
|
Assert.test("assertionFailure/StringInterpolation")
|
|
.skip(.custom(
|
|
{ !_isDebugAssertConfiguration() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
var should = "should"
|
|
expectCrashLater()
|
|
assertionFailure("this \(should) fail")
|
|
}
|
|
|
|
Assert.test("precondition")
|
|
.xfail(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "preconditions are disabled in Unchecked mode"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
var x = 2
|
|
precondition(x * 21 == 42, "should not fail")
|
|
expectCrashLater()
|
|
precondition(x == 42, "this should fail")
|
|
}
|
|
|
|
Assert.test("precondition/StringInterpolation")
|
|
.xfail(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "preconditions are disabled in Unchecked mode"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
var should = "should"
|
|
var x = 2
|
|
precondition(x * 21 == 42, "\(should) not fail")
|
|
expectCrashLater()
|
|
precondition(x == 42, "this \(should) fail")
|
|
}
|
|
|
|
Assert.test("preconditionFailure")
|
|
.skip(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
expectCrashLater()
|
|
preconditionFailure("this should fail")
|
|
}
|
|
|
|
Assert.test("preconditionFailure/StringInterpolation")
|
|
.skip(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
var should = "should"
|
|
expectCrashLater()
|
|
preconditionFailure("this \(should) fail")
|
|
}
|
|
|
|
Assert.test("fatalError")
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
expectCrashLater()
|
|
fatalError("this should fail")
|
|
}
|
|
|
|
Assert.test("fatalError/StringInterpolation")
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
var should = "should"
|
|
expectCrashLater()
|
|
fatalError("this \(should) fail")
|
|
}
|
|
|
|
// FIXME: swift-3-indexing-model: add tests for fatalError() that use non-ASCII
|
|
// characters, and that use NSString-backed String.
|
|
// We had to rewrite a part of fatalError() in the indexing effort.
|
|
|
|
Assert.test("precondition")
|
|
.xfail(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "preconditions are disabled in Unchecked mode"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
var x = 2
|
|
precondition(x * 21 == 42, "should not fail")
|
|
expectCrashLater()
|
|
precondition(x == 42, "this should fail")
|
|
}
|
|
|
|
Assert.test("preconditionFailure")
|
|
.skip(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
expectCrashLater()
|
|
preconditionFailure("this should fail")
|
|
}
|
|
|
|
Assert.test("_precondition")
|
|
.xfail(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "preconditions are disabled in Unchecked mode"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
var x = 2
|
|
_precondition(x * 21 == 42, "should not fail")
|
|
expectCrashLater()
|
|
_precondition(x == 42, "this should fail")
|
|
}
|
|
|
|
Assert.test("_preconditionFailure")
|
|
.skip(.custom(
|
|
{ _isFastAssertConfiguration() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
expectCrashLater()
|
|
_preconditionFailure("this should fail")
|
|
}
|
|
|
|
Assert.test("_debugPrecondition")
|
|
.xfail(.custom(
|
|
{ !_isStdlibDebugChecksEnabled() },
|
|
reason: "debug preconditions are disabled"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
var x = 2
|
|
_debugPrecondition(x * 21 == 42, "should not fail")
|
|
expectCrashLater()
|
|
_debugPrecondition(x == 42, "this should fail")
|
|
}
|
|
|
|
Assert.test("_debugPreconditionFailure")
|
|
.skip(.custom(
|
|
{ !_isStdlibDebugChecksEnabled() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches(_isDebugAssertConfiguration() ? "this should fail" : "")
|
|
.code {
|
|
expectCrashLater()
|
|
_debugPreconditionFailure("this should fail")
|
|
}
|
|
|
|
Assert.test("_internalInvariant")
|
|
.xfail(.custom(
|
|
{ !_isStdlibInternalChecksEnabled() },
|
|
reason: "internal invariant checks are disabled in this build of stdlib"))
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
var x = 2
|
|
Swift._internalInvariant(x * 21 == 42, "should not fail")
|
|
expectCrashLater()
|
|
Swift._internalInvariant(x == 42, "this should fail")
|
|
}
|
|
|
|
Assert.test("_internalInvariantFailure")
|
|
.skip(.custom(
|
|
{ !_isStdlibInternalChecksEnabled() },
|
|
reason: "optimizer assumes that the code path is unreachable"))
|
|
.crashOutputMatches("this should fail")
|
|
.code {
|
|
expectCrashLater()
|
|
_internalInvariantFailure("this should fail")
|
|
}
|
|
|
|
runAllTests()
|
|
|