Merge pull request #84277 from hamishknight/fuzzy

hamishknight · web-flow · commit f4dd6e2d8820 · 2025-09-14T23:32:47.000+01:00
[test] Add some more known crashers
diff --git a/validation-test/IDE/crashers/38a36bbefc496da.swift b/validation-test/IDE/crashers/38a36bbefc496da.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","original":"61e9155a","signature":"swift::ide::ContextFreeCodeCompletionResult::getCodeCompletionDeclKind(swift::Decl const*)"}
+// {"kind":"complete","original":"61e9155a","signature":"swift::ide::CodeCompletionResultBuilder::takeResult()"}
 // RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
 extension ()
 where
diff --git a/validation-test/IDE/crashers/44e8aa11615df18.swift b/validation-test/IDE/crashers/44e8aa11615df18.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"8af9696a","signature":"(anonymous namespace)::TypePrinter::printWithParensIfNotSimple(swift::Type)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+// REQUIRES: OS=macosx
+import Foundation
+var a: some NSMutableArray = a == #^^# = <#expression#>
diff --git a/validation-test/IDE/crashers/524ea7a5cd78074.swift b/validation-test/IDE/crashers/524ea7a5cd78074.swift
@@ -1,3 +1,3 @@
-// {"kind":"complete","signature":"swift::Mangle::ASTMangler::mangleDeclAsUSR(swift::ValueDecl const*, llvm::StringRef)"}
+// {"kind":"complete","signature":"swift::ide::CodeCompletionResultBuilder::takeResult()"}
 // RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
 struct a { extension b { struct c { struct d<e{ f { d#^COMPLETE^#
diff --git a/validation-test/IDE/crashers/6e14da1a44c1cdc6.swift b/validation-test/IDE/crashers/6e14da1a44c1cdc6.swift
@@ -0,0 +1,9 @@
+// {"kind":"complete","original":"8b824012","signature":"swift::Mangle::ASTMangler::appendBoundGenericArgs(swift::DeclContext*, swift::GenericSignature, swift::SubstitutionMap, bool&, swift::ValueDecl const*)","signatureAssert":"Assertion failed: (Index < Length && \"Invalid index!\"), function operator[]"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a {
+  struct b {
+    var c: (some Any, Int) {
+      #^^#
+    }
+  }
+}
diff --git a/validation-test/IDE/crashers/796ef3e298a05a47.swift b/validation-test/IDE/crashers/796ef3e298a05a47.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","original":"5d283fee","signature":"swift::TypeRepr::print(swift::ASTPrinter&, swift::PrintOptions const&, swift::optionset::OptionSet<swift::NonRecursivePrintOption, unsigned int>) const"}
+// {"kind":"complete","original":"5d283fee","signature":"swift::TypeRepr::print(swift::ASTPrinter&, swift::PrintOptions const&, swift::optionset::OptionSet<swift::NonRecursivePrintOption, unsigned int>) const","signatureAssert":"Assertion failed: (ext->canNeverBeBound() && \"Should have been bound by bindExtensions\"), function evaluate"}
 // RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
 @abi(
   extension { #^^#<#declaration#>)
diff --git a/validation-test/IDE/crashers/8b1e4c7f2174671c.swift b/validation-test/IDE/crashers/8b1e4c7f2174671c.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"2201e4ed","signature":"swift::Mangle::ASTMangler::mangleDeclAsUSR(swift::ValueDecl const*, llvm::StringRef)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+enum a<b{ protocol c{ class d{ class f<b let e=f #^^#
diff --git a/validation-test/IDE/crashers/8fb80df278d76cd.swift b/validation-test/IDE/crashers/8fb80df278d76cd.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"098f0ede","signature":"swift::ide::CodeCompletionStringBuilder::addTypeAnnotation(swift::Type, swift::DeclContext const*, swift::GenericSignature)","signatureAssert":"Assertion failed: (genericFuncType->getGenericSignature()->isEqual(genericSig) && \"if not, just use the GFT's signature instead below\"), function eraseArchetypes"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+enum a<b> {
+  c=d#^^#  macro d()
+}
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::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"}
+// {"kind":"complete","signature":"swift::ide::CodeCompletionStringBuilder::addCallArgumentPatterns(llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::ParamDecl const*>, swift::DeclContext const*, swift::GenericSignature, swift::ide::DefaultArgumentOutputMode, 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/cdc75ec659bc26a6.swift b/validation-test/IDE/crashers/cdc75ec659bc26a6.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"a4349038","signature":"(anonymous namespace)::TypeResolver::resolveTupleType(swift::TupleTypeRepr*, swift::TypeResolutionOptions)","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
+func a<b > -> () [ {
+  var : (b) #^^#
diff --git a/validation-test/compiler_crashers_2/36e4eac6ff343df0.swift b/validation-test/compiler_crashers_2/36e4eac6ff343df0.swift
@@ -0,0 +1,13 @@
+// {"kind":"typecheck","signature":"swift::constraints::TypeVarRefCollector::walkToStmtPre(swift::Stmt*)","signatureAssert":"Assertion failed: (result), function getClosureType"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a<b {
+  wrappedValue: b
+}
+func c( Bool)d {
+  @a var e: Bool? =
+    if .random() {
+      return
+    } else {
+      true
+    }
+  c(e
diff --git a/validation-test/compiler_crashers_2/40188c379c9ebe45.swift b/validation-test/compiler_crashers_2/40188c379c9ebe45.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"b8967a13","signature":"(anonymous namespace)::ActorIsolationChecker::checkLocalCaptures(swift::AnyFunctionRef)","signatureAssert":"Assertion failed: (Captures.hasBeenComputed()), function getCaptureInfo"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a() {
+  extension <#type#> {
+    var b = {
+    }
+  }
+}
diff --git a/validation-test/compiler_crashers_2/4059e8d9978c8be6.swift b/validation-test/compiler_crashers_2/4059e8d9978c8be6.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"4dcd6877","signature":"swift::Parser::parseStmtForEach(swift::LabeledStmtInfo)","signatureAssert":"Assertion failed: (InBindingPattern == PatternBindingState::NotInBinding && \"for-each loops cannot exist inside other patterns\"), function parseStmtForEach"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+guard
+  let if <#expression#> {
+    for <#pattern#> in <#expression#> {
+    }
+  } else {
+  }
diff --git a/validation-test/compiler_crashers_2/d4b14cb8215713c.swift b/validation-test/compiler_crashers_2/d4b14cb8215713c.swift
diff --git a/validation-test/compiler_crashers_2/dc5f791705b1cca.swift b/validation-test/compiler_crashers_2/dc5f791705b1cca.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","signature":"swift::constraints::TypeVarRefCollector::walkToStmtPre(swift::Stmt*)","signatureAssert":"Assertion failed: (result), function getClosureType"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  lazy var a =
+    if <#expression#> {
+      return
+    }
+  a
+}
diff --git a/validation-test/compiler_crashers_2_fixed/548d48154de3e7d.swift b/validation-test/compiler_crashers_2_fixed/548d48154de3e7d.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","original":"f7872afc","signature":"swift::ParamDecl::setTypeCheckedDefaultExpr(swift::Expr*)","signatureAssert":"Assertion failed: (E || getDefaultArgumentKind() == DefaultArgumentKind::Inherited), function setTypeCheckedDefaultExpr"}
+// RUN: not %target-swift-frontend -typecheck %s
+struct a {
+  init<b>(b  = a(

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"complete","original":"61e9155a","signature":"swift::ide::ContextFreeCodeCompletionResult::getCodeCompletionDeclKind(swift::Decl const*)"}`
	`1`	`+// {"kind":"complete","original":"61e9155a","signature":"swift::ide::CodeCompletionResultBuilder::takeResult()"}`
`2`	`2`	`// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
`3`	`3`	`extension ()`
`4`	`4`	`where`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"complete","original":"5d283fee","signature":"swift::TypeRepr::print(swift::ASTPrinter&, swift::PrintOptions const&, swift::optionset::OptionSet<swift::NonRecursivePrintOption, unsigned int>) const"}`
	`1`	`+// {"kind":"complete","original":"5d283fee","signature":"swift::TypeRepr::print(swift::ASTPrinter&, swift::PrintOptions const&, swift::optionset::OptionSet<swift::NonRecursivePrintOption, unsigned int>) const","signatureAssert":"Assertion failed: (ext->canNeverBeBound() && \"Should have been bound by bindExtensions\"), function evaluate"}`
`2`	`2`	`// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
`3`	`3`	`@abi(`
`4`	`4`	`extension { #^^#<#declaration#>)`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"2201e4ed","signature":"swift::Mangle::ASTMangler::mangleDeclAsUSR(swift::ValueDecl const*, llvm::StringRef)"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+enum a<b{ protocol c{ class d{ class f<b let e=f #^^#`