Skip to content

Commit 0a8a3bc

Browse files
authored
Merge pull request #85895 from hamishknight/fuzzy
[test] Add some more known crashers
2 parents 1fc04bf + 3aaeaef commit 0a8a3bc

8 files changed

+26
-15
lines changed

validation-test/IDE/crashers/abortWithVerificationError-825c80.swift renamed to validation-test/IDE/crashers/ASTScopeImpl-addChild-825c80.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// {"kind":"complete","original":"081c2cc3","signature":"abortWithVerificationError"}
1+
// {"kind":"complete","original":"081c2cc3","signature":"swift::ast_scope::ASTScopeImpl::addChild(swift::ast_scope::ASTScopeImpl*, swift::ASTContext&)"}
22
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
33
protocol a {
44
associatedtype b: SignedInteger
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// {"kind":"complete","original":"94ef21bb","signature":"swift::GenericSignatureImpl::getReducedType(swift::Type) const"}
2+
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
3+
protocol a : b
4+
protocol c {
5+
associatedtype d : a#^^# where d.e == f
6+
}
7+
struct b<g : c

validation-test/compiler_crashers/AvailabilitySet-getConditional-b7fa36.swift

Lines changed: 0 additions & 11 deletions
This file was deleted.
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// {"kind":"typecheck","original":"16240db9","signature":"swift::DeclContext::getParentModule() const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@a({
4+
unowned protocol b
5+
}
6+
let c

validation-test/compiler_crashers/GenericArgumentsMismatchFailure-diagnoseAsError-e782d1.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// {"kind":"typecheck","signature":"swift::constraints::GenericArgumentsMismatchFailure::diagnoseAsError()","signatureAssert":"Assertion failed: (!(purpose == CTP_Unused || purpose == CTP_CannotFail)), function diagnoseAsError"}
1+
// {"kind":"typecheck","signature":"swift::constraints::GenericArgumentsMismatchFailure::diagnoseAsError()","signatureAssert":"Assertion failed: (purpose != CTP_Unused), function diagnoseAsError"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
@propertyWrapper struct a<b{
44
wrappedValue: b

validation-test/compiler_crashers/LifetimeChecker-getLivenessAtInst-b7fa36.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// {"kind":"emit-sil","original":"96451f18","signature":"(anonymous namespace)::LifetimeChecker::getLivenessAtInst(swift::SILInstruction*, unsigned int, unsigned int)","signatureAssert":"Assertion failed: (E <= size() && \"Attempted to set out-of-bounds range!\"), function set"}
1+
// {"kind":"emit-sil","original":"af5c6219","signature":"(anonymous namespace)::LifetimeChecker::getLivenessAtInst(swift::SILInstruction*, unsigned int, unsigned int)","signatureAssert":"Assertion failed: (E <= size() && \"Attempted to set out-of-bounds range!\"), function set"}
22
// RUN: not --crash %target-swift-frontend -emit-sil %s
33
struct a<b> {
44
let c: String
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
// {"kind":"typecheck","original":"0004c325","signature":"swift::rewriting::RewriteContext::getRequirementMachine(swift::ProtocolDecl const*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a {
4+
associatedtype b: a
5+
associatedtype c: a
6+
where
7+
d == Self,
8+
c.c.b.c.c.b == Self, b.e == Self
9+
}

validation-test/compiler_crashers/verificationFailure-8d0890.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// {"kind":"emit-silgen","original":"be1cdd08","signature":"swift::verificationFailure(llvm::Twine const&, swift::SILInstruction const*, swift::SILArgument const*, llvm::function_ref<void (swift::SILPrintContext&)>)"}
1+
// {"kind":"emit-silgen","original":"be1cdd08","signature":"swift::verificationFailure(llvm::Twine const&, swift::SILInstruction const*, llvm::function_ref<void (swift::SILPrintContext&)>)"}
22
// RUN: not --crash %target-swift-frontend -emit-silgen %s
33
// REQUIRES: OS=macosx
44
import Foundation

0 commit comments

Comments
 (0)