Skip to content

Commit 61aa5a0

Browse files
hamishknighthamishknight
committed
[test] Add some more known type-checker crashers
1 parent f62cb8f commit 61aa5a0

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+190
-0
lines changed

‎validation-test/compiler_crashers_2/12b9d4c832862a3.swift‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// {"signature":"swift::rewriting::RewriteSystem::verifyRewriteRules(swift::rewriting::RewriteSystem::ValidityPolicy) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a { associatedtype b : Collection }
4+
struct c < d : Collection where d.Element : a,
5+
e == d.Element.b.Element struct f < d : Collection where d.Element : a,
6+
d.Element.b.Element == d.Index extension c where g == f<d>,
7+
d : RangeReplaceableCollection

‎validation-test/compiler_crashers_2/1a9cf8aaa2cfa83f.swift‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::InFlightDiagnostic swift::DiagnosticEngine::diagnose<swift::Type>(swift::Decl const*, swift::Diag<swift::Type>, swift::detail::PassArgument<swift::Type>::type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: objc_interop
4+
@objcMembers class a open extension a {
5+
func 0.0

‎validation-test/compiler_crashers_2/1b94fce977ad935d.swift‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::DifferentiableAttr::DifferentiableAttr(bool, swift::SourceLoc, swift::SourceRange, swift::DifferentiabilityKind, llvm::ArrayRef<swift::ParsedAutoDiffParameter>, swift::TrailingWhereClause*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a(@differentiable _ =

‎validation-test/compiler_crashers_2/29cff4b25b728d.swift‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::TypeChecker::typeCheckStmtConditionElement(swift::StmtConditionElement&, bool&, swift::DeclContext*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
a guard let b let a = b

‎validation-test/compiler_crashers_2/438c8a321d9be3de.swift‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::constraints::SameTypeRequirementFailure::SameTypeRequirementFailure(swift::constraints::Solution const&, swift::Type, swift::Type, swift::constraints::ConstraintLocator*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a struct b extension Dictionary : a where Value == let func !c {
4+
let d : [Int:b] let : a = d

‎validation-test/compiler_crashers_2/489d4cf70584858.swift‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::Parser::consumeTokenWithoutFeedingReceiver()"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@_extern(a

‎validation-test/compiler_crashers_2/4ae85881765dc0db.swift‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"diagnoseAmbiguityWithContextualType(swift::constraints::ConstraintSystem&, swift::constraints::SolutionDiff&, llvm::ArrayRef<std::__1::pair<swift::constraints::Solution const*, swift::constraints::ConstraintFix const*>>, llvm::ArrayRef<swift::constraints::Solution>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a func b< c >(c = a(
4+
func a

‎validation-test/compiler_crashers_2/4c48b3ae4546aed.swift‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::recordKeyPath(swift::KeyPathExpr const*, swift::TypeVariableType*, swift::TypeVariableType*, swift::DeclContext*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
enum a { b->a{switch self{case.c(\ d) e

‎validation-test/compiler_crashers_2/4e921915ae337fb5.swift‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::NormalProtocolConformance::setTypeWitness(swift::AssociatedTypeDecl*, swift::Type, swift::TypeDecl*) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a typealias b<c> = () extension b : a

‎validation-test/compiler_crashers_2/50b52589da464db0.swift‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::ExprPatternMatchRequest::evaluate(swift::Evaluator&, swift::ExprPattern const*) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
enum a { b(c : a){{guard case.b = c

0 commit comments

Comments
 (0)