[test] Add some more known crashers

hamishknight · hamishknight · commit 994b9d197bc7 · 2025-07-21T10:47:59.000+01:00
diff --git a/validation-test/IDE/crashers/2681cf587abeb72.swift b/validation-test/IDE/crashers/2681cf587abeb72.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"2ad6764c","signature":"swift::constraints::Solution::getType(swift::KeyPathExpr const*, unsigned int) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+0 -> \ a#^^#
+!
diff --git a/validation-test/IDE/crashers/b4e591f09ce81b0.swift b/validation-test/IDE/crashers/b4e591f09ce81b0.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"0b319c77","signature":"swift::ExtensionDecl::getExtendedNominal() const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+extension a[ {
+  #^^#
+}
diff --git a/validation-test/IDE/crashers/b94c7eab64f2421b.swift b/validation-test/IDE/crashers/b94c7eab64f2421b.swift
@@ -0,0 +1,10 @@
+// {"kind":"complete","original":"66e1ef62","signature":"swift::Mangle::ASTMangler::appendConstrainedExistential(swift::Type, swift::GenericSignature, swift::ValueDecl const*)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a<b, c> {
+  associatedtype b
+  associatedtype c
+}
+var b {
+  #^^#
+}
+func d() -> a<a, some a>
diff --git a/validation-test/IDE/crashers/d41add6f5844fe32.swift b/validation-test/IDE/crashers/d41add6f5844fe32.swift
@@ -0,0 +1,13 @@
+// {"kind":"complete","signature":"swift::Mangle::ASTMangler::appendExtension(swift::ExtensionDecl const*, swift::Mangle::ASTMangler::BaseEntitySignature&, llvm::StringRef)"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+public struct Wrapper<T: P> {}
+extension Wrapper: Q where T: Q {
+  public protocol PBase {
+    associatedtype AssocType
+  }
+  public protocol P: PBase {
+    override associatedtype AssocType:#^^# P = Wrapper<Self>
+  }
+  public protocol Q: P where SelfAssocType: Q {}
+  public protocol R: Q where Self.AssocType: R {}
+}
diff --git a/validation-test/IDE/crashers/fc2f5bc68d4465.swift b/validation-test/IDE/crashers/fc2f5bc68d4465.swift
@@ -0,0 +1,6 @@
+// {"kind":"complete","original":"90f5eddd","signature":"$s11swiftASTGen19emitDiagnosticParts33_5015A222471F7FD97A302015E08809A0LL16diagnosticEngine16sourceFileBuffer7message8severity8position6offset10highlights5editsySo07BridgeddM0V_SRys5UInt8VGSS25_CompilerSwiftDiagnostics0D8SeverityO01_yZ6Syntax16AbsolutePositionVSiSayAT6SyntaxVGSayAT10SourceEditVGtFSo0wD0VSo0W9StringRefVXEfU_","useSourceOrderCompletion":true}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-order-completion -source-filename %s
+// REQUIRES: swift_swift_parser
+extension a { b {
+#^^#macro c =
+#^d^#
diff --git a/validation-test/IDE/crashers_fixed/3ef1bab1e79a83a5.swift b/validation-test/IDE/crashers_fixed/3ef1bab1e79a83a5.swift
@@ -0,0 +1,8 @@
+// {"kind":"complete","original":"018f6774","signature":"swift::TypeChecker::typeCheckForCodeCompletion(swift::constraints::SyntacticElementTarget&, bool, llvm::function_ref<void (swift::constraints::Solution const&)>)"}
+// RUN: %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a {
+arr: ] func b {
+return c
+{
+before#^^#? arr : }
+<
diff --git a/validation-test/IDE/crashers_fixed/4f698c426f7f9b.swift b/validation-test/IDE/crashers_fixed/4f698c426f7f9b.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"03d6b22e","signature":"swift::TypeChecker::typeCheckForCodeCompletion(swift::constraints::SyntacticElementTarget&, bool, llvm::function_ref<void (swift::constraints::Solution const&)>)"}
+// RUN: %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+func a->Int { ((0 + 0 + 0 + 0 4) << 1)#^^# <<
diff --git a/validation-test/IDE/crashers_fixed/d73ece80c892d352.swift b/validation-test/IDE/crashers_fixed/d73ece80c892d352.swift
@@ -0,0 +1,10 @@
+// {"kind":"complete","original":"00db48f7","signature":"swift::TypeChecker::typeCheckForCodeCompletion(swift::constraints::SyntacticElementTarget&, bool, llvm::function_ref<void (swift::constraints::Solution const&)>)"}
+// RUN: %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a {
+  arr: ]  func b() {
+    return c {
+      (#^^# ? arr : <#expression#>)
+    }
+      < <#expression#>
+  }
+}
diff --git a/validation-test/compiler_crashers_2/174f557922f5c3cc.swift b/validation-test/compiler_crashers_2/174f557922f5c3cc.swift
@@ -0,0 +1,16 @@
+// {"kind":"typecheck","original":"2fdf1565","signature":"(anonymous namespace)::TypeSubstituter::transformDependentMemberType(swift::DependentMemberType*, swift::TypePosition)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  typealias b = c
+  associatedtype d: b
+  associatedtype J: Sequence = e<Self> where J.Element == d.f
+}
+protocol c {
+  associatedtype f
+}
+struct g<h>: a {
+  struct d
+  }
+  struct e<i: a>: Sequence {
+    struct Iterator: IteratorProtocol {
+      typealias Element = i.d.f
diff --git a/validation-test/compiler_crashers_2/217ed2d301f5d7b.swift b/validation-test/compiler_crashers_2/217ed2d301f5d7b.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"679d3d53","signature":"(anonymous namespace)::PrintAST::visit(swift::Decl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+extension () {
+  class let a
+}
diff --git a/validation-test/compiler_crashers_2/61ba98c06e51fee9.swift b/validation-test/compiler_crashers_2/61ba98c06e51fee9.swift
@@ -0,0 +1,5 @@
+// {"kind":"emit-silgen","original":"e6da36c1","signature":"(anonymous namespace)::Transform::transform(swift::Lowering::ManagedValue, swift::Lowering::AbstractionPattern, swift::CanType, swift::Lowering::AbstractionPattern, swift::CanType, swift::SILType, swift::Lowering::SGFContext)"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+// REQUIRES: OS=macosx
+import Foundation
+[["": ""]] as [[String: AnyObject]?]
diff --git a/validation-test/compiler_crashers_2/7569a0726f21e49f.swift b/validation-test/compiler_crashers_2/7569a0726f21e49f.swift
@@ -0,0 +1,10 @@
+// {"kind":"emit-silgen","original":"f261a4a8","signature":"Assertion failed: (!outerOrigType.isTuple() || !SGF.silConv.useLoweredAddresses()), function planIntoDirect"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+infix operator <*> : AdditionPrecedence
+func <*> <a, b>(c: ((a) -> b?)?, d: a) -> b? {
+}
+func cons<e, h>(c: e) -> (h) -> (e, h) {
+}
+var g = ""
+if let f = cons <*> g <*> () {
+}
diff --git a/validation-test/compiler_crashers_2/845e7060267d8763.swift b/validation-test/compiler_crashers_2/845e7060267d8763.swift
@@ -0,0 +1,3 @@
+// {"kind":"emit-silgen","original":"7b4a72a9","signature":"swift::getSILValueOwnership(llvm::ArrayRef<swift::SILValue>, swift::SILType)"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+var a: Any = ["": [a]] as [String: [AnyObject?]]
diff --git a/validation-test/compiler_crashers_2/a6b3bc1c6dee79bf.swift b/validation-test/compiler_crashers_2/a6b3bc1c6dee79bf.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"901f9c6d","signature":"bool swift::constraints::isExpr<swift::MemberRefExpr>(swift::ASTNode)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+let a = [].reduce([]) {
+  0 && a($1 == a
+  $1 {
diff --git a/validation-test/compiler_crashers_2/a8c84d1122922f83.swift b/validation-test/compiler_crashers_2/a8c84d1122922f83.swift
@@ -0,0 +1,14 @@
+// {"kind":"typecheck","original":"bee4b7dd","signature":"swift::constraints::ContextualFailure::tryProtocolConformanceFixIt(swift::InFlightDiagnostic&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a<b, c> {
+  associatedtype b
+  associatedtype c
+}
+extension Int: a {
+  struct d<e>: a {
+    typealias b = e
+  }
+  func f() -> a<a, a> {
+    d<Int>(<#expression#>)
+  }
+}
diff --git a/validation-test/compiler_crashers_2/be4d5e8e2a66526.swift b/validation-test/compiler_crashers_2/be4d5e8e2a66526.swift
@@ -0,0 +1,11 @@
+// {"kind":"emit-silgen","signature":"swift::Mangle::ASTMangler::appendConstrainedExistential(swift::Type, swift::GenericSignature, swift::ValueDecl const*)"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+protocol a<b> {
+  associatedtype b
+}
+struct c: a {
+  typealias b = c
+}
+func d() -> a<some a> {
+  c()
+}
diff --git a/validation-test/compiler_crashers_2_fixed/20bfa44b864d1f2.swift b/validation-test/compiler_crashers_2_fixed/20bfa44b864d1f2.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"8fe2aedb","signature":"makeBinOp(swift::ASTContext&, swift::Expr*, swift::Expr*, swift::Expr*, swift::PrecedenceGroupDecl*, bool)"}
+// RUN: not %target-swift-frontend -typecheck %s
+{
+  (a: b) in
+  switch a {
+  case c -> _:
+  }
+}
diff --git a/validation-test/compiler_crashers_2_fixed/59ca7ce28cc05461.swift b/validation-test/compiler_crashers_2_fixed/59ca7ce28cc05461.swift
@@ -0,0 +1,7 @@
+// {"kind":"typecheck","original":"1157c215","signature":"makeBinOp(swift::ASTContext&, swift::Expr*, swift::Expr*, swift::Expr*, swift::PrecedenceGroupDecl*, bool)"}
+// RUN: not %target-swift-frontend -typecheck %s
+{
+  do 
+catch _ as a + {
+  }
+}
diff --git a/validation-test/compiler_crashers_2_fixed/9bcd81ba2b5cf37e.swift b/validation-test/compiler_crashers_2_fixed/9bcd81ba2b5cf37e.swift
@@ -0,0 +1,10 @@
+// {"kind":"typecheck","original":"0a6d4af4","signature":"swift::AvailabilityContext::Storage::get(swift::AvailabilityRange const&, bool, llvm::ArrayRef<swift::AvailabilityContext::DomainInfo>, swift::ASTContext const&)"}
+// RUN: not %target-swift-frontend -typecheck %s
+protocol a {
+  associatedtype b
+  func append < c : a where b == c>()
+  struct d : a {
+    typealias b = Int
+    func append()
+  }
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"03d6b22e","signature":"swift::TypeChecker::typeCheckForCodeCompletion(swift::constraints::SyntacticElementTarget&, bool, llvm::function_ref<void (swift::constraints::Solution const&)>)"}`
	`2`	`+// RUN: %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+func a->Int { ((0 + 0 + 0 + 0 4) << 1)#^^# <<`