Merge pull request swiftlang#84039 from hamishknight/fuzzy

hamishknight · web-flow · commit d7ca06dd65a6 · 2025-09-01T15:24:53.000+01:00
[test] Add some more known crashers
diff --git a/validation-test/IDE/crashers/16a3fafef684fb37.swift b/validation-test/IDE/crashers/16a3fafef684fb37.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"6bce2476","signature":"swift::ide::PostfixCompletionCallback::sawSolutionImpl(swift::constraints::Solution const&)","signatureAssert":"Assertion failed: (BaseIsStaticMetaType == Other.BaseIsStaticMetaType), function tryMerge"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+extension BinaryInteger {
+a { .Iterator.Element#^^# ==
+self
diff --git a/validation-test/IDE/crashers/276e1958e5b2f36f.swift b/validation-test/IDE/crashers/276e1958e5b2f36f.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","original":"14893775","signature":"swift::TypeResolution::resolveContextualType(swift::TypeRepr*, swift::DeclContext*, swift::GenericSignature, swift::TypeResolutionOptions, llvm::function_ref<swift::Type (swift::UnboundGenericType*)>, llvm::function_ref<swift::Type (swift::ASTContext&, swift::PlaceholderTypeRepr*)>, llvm::function_ref<swift::Type (swift::Type, swift::PackElementTypeRepr*)>, swift::SILTypeResolutionContext*)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}
+// {"kind":"complete","original":"14893775","signature":"swift::TypeResolution::resolveContextualType(swift::TypeRepr*, swift::DeclContext*, swift::GenericSignature, swift::TypeResolutionOptions, llvm::function_ref<swift::Type (swift::UnboundGenericType*)>, llvm::function_ref<swift::Type (swift::ASTContext&, swift::PlaceholderTypeRepr*)>, llvm::function_ref<swift::Type (swift::Type, swift::PackElementTypeRepr*)>, llvm::function_ref<void (swift::GenericTypeDecl*, llvm::function_ref<swift::Type (swift::SubstitutableType*)>)>, swift::SILTypeResolutionContext*)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}
 // RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
 @a(
   #^^#) func b<a>()
diff --git a/validation-test/IDE/crashers/2ac01e9917bfde5.swift b/validation-test/IDE/crashers/2ac01e9917bfde5.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"eb071a3e","signature":"swift::constraints::ConstraintSystem::isArgumentGenericFunction(swift::Type, swift::Expr*)","signatureAssert":"Assertion failed: (!getFixedType(tyvar)), function getUnboundBindOverloadDisjunction"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+func a() -> Sequence
+a() + #^^#&
diff --git a/validation-test/IDE/crashers/796ef3e298a05a47.swift b/validation-test/IDE/crashers/796ef3e298a05a47.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"5d283fee","signature":"swift::TypeRepr::print(swift::ASTPrinter&, swift::PrintOptions const&, swift::optionset::OptionSet<swift::NonRecursivePrintOption, unsigned int>) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+@abi(
+  extension { #^^#<#declaration#>)
+  <#declaration#>
diff --git a/validation-test/IDE/crashers/9a6a167b9c9fe2e.swift b/validation-test/IDE/crashers/9a6a167b9c9fe2e.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","signature":"swift::ide::CompletionLookup::addCallArgumentPatterns(swift::ide::CodeCompletionResultBuilder&, llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::ParamDecl const*>, swift::GenericSignature, bool)","signatureAssert":"Assertion failed: (declParams.empty() || typeParams.size() == declParams.size()), function addCallArgumentPatterns"}
+// {"kind":"complete","signature":"swift::ide::CodeCompletionStringBuilder::addCallArgumentPatterns(llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::ParamDecl const*>, swift::DeclContext const*, swift::GenericSignature, bool)","signatureAssert":"Assertion failed: (declParams.empty() || typeParams.size() == declParams.size()), function addCallArgumentPatterns"}
 // RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
 func a<each b>( repeat each b)c == a(
 #^COMPLETE^# d
diff --git a/validation-test/IDE/crashers/cfad4ec3ad706bac.swift b/validation-test/IDE/crashers/cfad4ec3ad706bac.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"b353d673","signature":"swift::ide::ArgumentTypeCheckCompletionCallback::sawSolutionImpl(swift::constraints::Solution const&)","signatureAssert":"Assertion failed: (false && \"bad parent call match?\"), function sawSolutionImpl"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+{
+  b ? \.a  (#^^#
+}(
diff --git a/validation-test/compiler_crashers_2/0208-issue-51259.swift b/validation-test/compiler_crashers_2/0208-issue-51259.swift
@@ -1,3 +1,4 @@
+// {"kind":"emit-silgen","signature":"swift::Lowering::SILGenModule::useConformance(swift::ProtocolConformanceRef)"}
 // RUN: not --crash %target-swift-frontend -emit-ir %s
 // rdar://problem/65571199
 // UNSUPPORTED: asan
diff --git a/validation-test/compiler_crashers_2/298c18942254d677.swift b/validation-test/compiler_crashers_2/298c18942254d677.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"454af16a","signature":"swift::Mangle::ASTMangler::appendClosureComponents(swift::CanType, unsigned int, bool, swift::DeclContext const*, llvm::ArrayRef<swift::GenericEnvironment*>)","stackOverflow":true}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol P {
+}
+{
+  return a
+  func a() -> some P
+}
diff --git a/validation-test/compiler_crashers_2/2e9f8c21a3644ca9.swift b/validation-test/compiler_crashers_2/2e9f8c21a3644ca9.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"3a7e17d4","signature":"swift::TypeBase::computeInvertibleConformances()","signatureAssert":"Assertion failed: (!canType->hasUnboundGenericType()), function computeInvertibleConformances"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<b
+  extension a
+...
diff --git a/validation-test/compiler_crashers_2/56561b79b963bc.swift b/validation-test/compiler_crashers_2/56561b79b963bc.swift
@@ -0,0 +1,7 @@
+// {"kind":"typecheck","original":"0f52c8c0","signature":"swift::constraints::ConstraintSystem::simplifyExplicitGenericArgumentsConstraint(swift::Type, swift::Type, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)","signatureAssert":"Assertion failed: (found != openedOverloadTypes.end()), function simplifyExplicitGenericArgumentsConstraint"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+  struct b
+    struct b< a {
+      struct c<d {
+        e = b< f>.c< >
diff --git a/validation-test/compiler_crashers_2/c8788f7208dff60.swift b/validation-test/compiler_crashers_2/c8788f7208dff60.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","original":"6bb0b020","signature":"swift::KeyPathExpr::getKeyPathType() const","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{ let a = \ .b { c} (let c = a
diff --git a/validation-test/compiler_crashers_2/c956e03382cbc94.swift b/validation-test/compiler_crashers_2/c956e03382cbc94.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","original":"1562769e","signature":"(anonymous namespace)::ConstraintWalker::walkToExprPost(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum c
+  func d()  e {
+    if let
+      f = c
+    {
+      switch f {
+      case let a(b) where b
diff --git a/validation-test/compiler_crashers_2/d0221822dccb4124.swift b/validation-test/compiler_crashers_2/d0221822dccb4124.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","original":"00d07d13","signature":"swift::constraints::ConstraintSystem::simplifySameShapeConstraint(swift::Type, swift::Type, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<each b {
+    c(repeat each b)
+  {
+    for    in  c(
diff --git a/validation-test/compiler_crashers_2/df1e71cd8c428eba.swift b/validation-test/compiler_crashers_2/df1e71cd8c428eba.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","original":"b10f3bb6","signature":"swift::Mangle::ASTMangler::appendAnyGenericType(swift::GenericTypeDecl const*, swift::Mangle::ASTMangler::BaseEntitySignature&)","stackOverflow":true}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a
+  extension a where Self == b? {
+    enum b
+      let c: some a

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+// {"kind":"emit-silgen","signature":"swift::Lowering::SILGenModule::useConformance(swift::ProtocolConformanceRef)"}`
`1`	`2`	`// RUN: not --crash %target-swift-frontend -emit-ir %s`
`2`	`3`	`// rdar://problem/65571199`
`3`	`4`	`// UNSUPPORTED: asan`