[test] Add some more known crashers

hamishknight · hamishknight · commit 1b5e1db05d2b · 2025-11-10T10:40:35.000Z
diff --git a/validation-test/IDE/crashers/ConstraintSystem-addConstraintImpl-622497.swift b/validation-test/IDE/crashers/ConstraintSystem-addConstraintImpl-622497.swift
@@ -0,0 +1,8 @@
+// {"kind":"complete","original":"70b8b689","signature":"swift::constraints::ConstraintSystem::addConstraintImpl(swift::constraints::ConstraintKind, swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder, bool)","signatureAssert":"Assertion failed: (second && \"Missing second type\"), function addConstraintImpl"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+@propertyWrapper struct a {
+  wrappedValue : Bool  init(wrappedValue: Bool)
+  var projectedValue  init(projectedValue:)
+    b(@a  )
+  {
+    b(#^^#
diff --git a/validation-test/IDE/crashers/ConstraintSystem-matchFunctionTypes-06eb4e.swift b/validation-test/IDE/crashers/ConstraintSystem-matchFunctionTypes-06eb4e.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"febd2f61","signature":"swift::constraints::ConstraintSystem::matchFunctionTypes(swift::FunctionType*, swift::FunctionType*, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)","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
+Optional#^^# = {
diff --git a/validation-test/compiler_crashers/ConnectedComponents-unionSets-7527be.swift b/validation-test/compiler_crashers/ConnectedComponents-unionSets-7527be.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","signature":"(anonymous namespace)::ConnectedComponents::unionSets(swift::TypeVariableType*, swift::TypeVariableType*)","signatureAssert":"Assertion failed: (validComponentCount > 0), function unionSets"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+let b = (c(), d()
+a {
+  e
+  b
diff --git a/validation-test/compiler_crashers/ConstraintSystem-getClosureType-aac79a.swift b/validation-test/compiler_crashers/ConstraintSystem-getClosureType-aac79a.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getClosureType(swift::ClosureExpr const*) const","signatureAssert":"Assertion failed: (result), function getClosureType"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+return {
+  lazy var a = if .random() { return }
+}
diff --git a/validation-test/compiler_crashers/DeclChecker-visit-0fdea7.swift b/validation-test/compiler_crashers/DeclChecker-visit-0fdea7.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","original":"6bf5a596","signature":"(anonymous namespace)::DeclChecker::visit(swift::Decl*)","signatureAssert":"Assertion failed: (Val && \"isa<> used on a null pointer\"), function doit"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@implementation
+extension
+  CInt
+{
+  deinit {
+  }
+}
diff --git a/validation-test/compiler_crashers/ExprRewriter-coerceToType-df86fa.swift b/validation-test/compiler_crashers/ExprRewriter-coerceToType-df86fa.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"(anonymous namespace)::ExprRewriter::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocatorBuilder)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+    callAsFunction( () -> Void)
+  _ = a.  init {
diff --git a/validation-test/compiler_crashers/ExprRewriter-visitDeclRefExpr-1e0608.swift b/validation-test/compiler_crashers/ExprRewriter-visitDeclRefExpr-1e0608.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","signature":"(anonymous namespace)::ExprRewriter::visitDeclRefExpr(swift::DeclRefExpr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  for b  0..<0 {
+    let a = Array(0..<b)
+    for c  d    a {
+      for e  d      c... {
+        Array(a[c..<e].reversed())
+        f(
diff --git a/validation-test/compiler_crashers/PackType-getExpandedGenericArgs-f3b4de.swift b/validation-test/compiler_crashers/PackType-getExpandedGenericArgs-f3b4de.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"swift::PackType::getExpandedGenericArgs(llvm::ArrayRef<swift::GenericTypeParamType*>, llvm::ArrayRef<swift::Type>)","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
+  typealias c<each d> = a<>
+    c<(
diff --git a/validation-test/compiler_crashers/Parser-parseCustomAttribute-f0c068.swift b/validation-test/compiler_crashers/Parser-parseCustomAttribute-f0c068.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","original":"134d8fc1","signature":"swift::Parser::parseCustomAttribute(swift::SourceLoc)","signatureAssert":"Assertion failed: (Tok.is(tok::identifier)), function parseCustomAttribute"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@ @ ::
diff --git a/validation-test/compiler_crashers/Parser-parseExprEditorPlaceholder-62497c.swift b/validation-test/compiler_crashers/Parser-parseExprEditorPlaceholder-62497c.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","original":"21bee1da","signature":"swift::Parser::parseExprEditorPlaceholder(swift::Token, swift::Identifier)","signatureAssert":"Assertion failed: (PlaceholderId.isEditorPlaceholder()), function parseExprEditorPlaceholder"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+<##>::
diff --git a/validation-test/compiler_crashers/TypeChecker-typeCheckParameterDefault-3e7f34.swift b/validation-test/compiler_crashers/TypeChecker-typeCheckParameterDefault-3e7f34.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","original":"fec80ed5","signature":"swift::TypeChecker::typeCheckParameterDefault(swift::Expr*&, swift::DeclContext*, swift::Type, bool, bool)","signatureAssert":"Assertion failed: (paramType && (!paramType->hasError() || DC->getASTContext().CompletionCallback)), function typeCheckParameterDefault"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a {
+  return switch 0 {
+  case    /fallthrough
+    fatalError(
diff --git a/validation-test/compiler_crashers/TypeChecker-typeCheckStmtConditionElement-266df8.swift b/validation-test/compiler_crashers/TypeChecker-typeCheckStmtConditionElement-266df8.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","signature":"swift::TypeChecker::typeCheckStmtConditionElement(swift::StmtConditionElement&, bool&, swift::DeclContext*)","signatureAssert":"Assertion failed: (!elt.getPattern()->hasType() && \"the pattern binding condition is already type checked\"), function typeCheckPatternBindingStmtConditionElement"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+  func b() {}
+}
+_ = { c }
+var d: a?
+guard let d else {}
+let c = d.b()
diff --git a/validation-test/compiler_crashers/TypeConverter-setCaptureTypeExpansionContext-e72208.swift b/validation-test/compiler_crashers/TypeConverter-setCaptureTypeExpansionContext-e72208.swift
@@ -0,0 +1,9 @@
+// {"issueID":85266,"kind":"emit-silgen","signature":"swift::Lowering::TypeConverter::setCaptureTypeExpansionContext(swift::SILDeclRef, swift::SILModule&)","signatureAssert":"Assertion failed: (existing->second == context && \"closure shouldn't be emitted with different capture type expansion contexts\"), function setCaptureTypeExpansionContext"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+// https://github.com/swiftlang/swift/issues/85266
+func a() {
+  func b() -> Any {
+    c
+  }
+  lazy var c = b
+}
diff --git a/validation-test/compiler_crashers/getDistributedActorSystemResultHandlerType-b44285.swift b/validation-test/compiler_crashers/getDistributedActorSystemResultHandlerType-b44285.swift
@@ -0,0 +1,6 @@
+// {"kind":"emit-silgen","signature":"swift::getDistributedActorSystemResultHandlerType(swift::NominalTypeDecl*)","signatureAssert":"Assertion failed: (!system->isDistributedActor()), function getDistributedActorSystemResultHandlerType"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+// REQUIRES: OS=macosx
+import Distributed
+distributed actor a: DistributedActorSystem {
+}
diff --git a/validation-test/compiler_crashers/getParameterAt-020583.swift b/validation-test/compiler_crashers/getParameterAt-020583.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","original":"b56d8c69","signature":"swift::getParameterAt(swift::ConcreteDeclRef, unsigned int)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  func a()
+  @<#type#> #b(a(c))
+}
diff --git a/validation-test/compiler_crashers/getPropertyWrapperTypeFromOverload-e66d96.swift b/validation-test/compiler_crashers/getPropertyWrapperTypeFromOverload-e66d96.swift
@@ -0,0 +1,10 @@
+// {"kind":"typecheck","original":"c9d8f598","signature":"getPropertyWrapperTypeFromOverload(swift::constraints::ConstraintSystem&, swift::constraints::SelectedOverload, llvm::function_ref<swift::VarDecl* (swift::VarDecl*)>)","signatureAssert":"Assertion failed: (!cs.hasType(D) && \"Should have recorded type for wrapper var\"), function getPropertyWrapperTypeFromOverload"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a {
+  wrappedValue : Bool  init(wrappedValue: Bool)
+  var projectedValue
+  init(projectedValue: Bool)
+  func b(@a c: Bool) {
+    b - c
+  }
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"febd2f61","signature":"swift::constraints::ConstraintSystem::matchFunctionTypes(swift::FunctionType, swift::FunctionType, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)","signatureAssert":"Assertion failed: (Index < Length && \"Invalid index!\"), function operator[]"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+Optional#^^# = {`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"typecheck","original":"134d8fc1","signature":"swift::Parser::parseCustomAttribute(swift::SourceLoc)","signatureAssert":"Assertion failed: (Tok.is(tok::identifier)), function parseCustomAttribute"}`
	`2`	`+// RUN: not --crash %target-swift-frontend -typecheck %s`
	`3`	`+@ @ ::`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"typecheck","original":"21bee1da","signature":"swift::Parser::parseExprEditorPlaceholder(swift::Token, swift::Identifier)","signatureAssert":"Assertion failed: (PlaceholderId.isEditorPlaceholder()), function parseExprEditorPlaceholder"}`
	`2`	`+// RUN: not --crash %target-swift-frontend -typecheck %s`
	`3`	`+<##>::`