Skip to content

Commit 6570da3

Browse files
hamishknighthamishknight
committed
[test] Clean up some crasher test cases
1 parent 9a0a831 commit 6570da3

34 files changed

+41
-41
lines changed

‎validation-test/compiler_crashers_2/9d8144a4e9141c6d.swift renamed to ‎validation-test/compiler_crashers_2/13a11e92edec70b6.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::Parser::parseStmtConditionElement(llvm::SmallVectorImpl<swift::StmtConditionElement>&, swift::Diag<>, swift::StmtKind, llvm::StringRef&)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
func a: b[ if let
3+
func a: b[ if let

‎validation-test/compiler_crashers_2/708df9aa47bf25c1.swift renamed to ‎validation-test/compiler_crashers_2/16194a387970a2e6.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::TuplePattern::createSimple(swift::ASTContext&, swift::SourceLoc, llvm::ArrayRef<swift::TuplePatternElt>, swift::SourceLoc)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
switch { case (repeat a
3+
switch { case (repeat a

‎validation-test/compiler_crashers_2/fc35131688595b.swift renamed to ‎validation-test/compiler_crashers_2/1f6ae695bebb359b.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"makeBinOp(swift::ASTContext&, swift::Expr*, swift::Expr*, swift::Expr*, swift::PrecedenceGroupDecl*, bool)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
let a= switch a { case &b as? b
3+
let a= switch a { case &b as? b

‎validation-test/compiler_crashers_2/2bc220ee62d5d65.swift renamed to ‎validation-test/compiler_crashers_2/2e58d3af692e43c.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::Parser::parseTypeSimple(swift::Diag<>, swift::Parser::ParseTypeReason)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
subscript(a: ~b <
3+
subscript(a: ~b <

‎validation-test/compiler_crashers_2/83d5136a1ea615f9.swift renamed to ‎validation-test/compiler_crashers_2/3070c3e372b52e7e.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,4 @@
33
struct a func b(c : a) {
44
{
55
switch
6-
c { case .baz(c==
6+
c { case .baz(c==

‎validation-test/compiler_crashers_2/bb317d94bc705750.swift renamed to ‎validation-test/compiler_crashers_2/33b407eb167aba5.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"(anonymous namespace)::ExprRewriter::coerceCallArguments(swift::ArgumentList*, swift::AnyFunctionType*, swift::ConcreteDeclRef, swift::ApplyExpr*, swift::constraints::ConstraintLocatorBuilder, llvm::ArrayRef<swift::AppliedPropertyWrapper>)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
func a<b, each c>(body : (repeat each c)->b) { body(
3+
func a<b, each c>(body : (repeat each c)->b) { body(

‎validation-test/compiler_crashers_2/fa3981f71bc0d522.swift renamed to ‎validation-test/compiler_crashers_2/35129b57d7eb80f4.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"(anonymous namespace)::ExprWalker::rewriteTarget(swift::constraints::SyntacticElementTarget)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
{ Sendable(Sendable<<a
3+
{ Sendable(Sendable<<a

‎validation-test/compiler_crashers_2/fea44854b27673b7.swift renamed to ‎validation-test/compiler_crashers_2/441e44e28042d5a3.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"deriveBodyRawRepresentable_init(swift::AbstractFunctionDecl*, void*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
a enum a : Int { case = #/
3+
a enum a : Int { case = #/

‎validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift renamed to ‎validation-test/compiler_crashers_2/45e1131d17a7561c.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// {"signature":"swift::constraints::simplifyLocator(swift::ASTNode&, llvm::ArrayRef<swift::constraints::ConstraintLocator::PathElement>&, swift::SourceRange&)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
struct a { eq = "" b "Self ecuador1 Self) > Bool {
3+
struct a { eq = "" b "Self ecuador1 Self) > Bool {
44
let getProperties = (
55
\.eq as Self -> _
66
let eq = ""

‎validation-test/compiler_crashers_2/41a8ab272521be7.swift renamed to ‎validation-test/compiler_crashers_2/486a70c43d10bda5.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"(anonymous namespace)::ConnectedComponents::unionSets(swift::TypeVariableType*, swift::TypeVariableType*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
let b = ( c , d a {
3+
let b = ( c , d a {
44
e b

‎validation-test/compiler_crashers_2/d55c5b967af3ce9d.swift renamed to ‎validation-test/compiler_crashers_2/51e2471a4cadad3d.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"(anonymous namespace)::ExprRewriter::buildSingleCurryThunk(swift::Expr*, swift::Expr*, swift::DeclContext*, swift::FunctionType*, swift::constraints::ConstraintLocatorBuilder)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
// REQUIRES: OS=macosx
4-
import Foundation func a(b: AnyClass?) { b (b
4+
import Foundation func a(b: AnyClass?) { b (b

‎validation-test/compiler_crashers_2/b698c95ef914d7.swift renamed to ‎validation-test/compiler_crashers_2/5939b8697dd25c0.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"diagSyntacticUseRestrictions(swift::Expr const*, swift::DeclContext const*, bool)::DiagnoseWalker::walkToExprPre(swift::Expr*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
{ @#b([a:
3+
{ @#b([a:

‎validation-test/compiler_crashers_2/32f7abe7416344a.swift renamed to ‎validation-test/compiler_crashers_2/685973a04a9055ad.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
// {"signature":"(anonymous namespace)::ExprRewriter::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocatorBuilder)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
struct a < each b : Collection {
4-
c : ( repeat each b
5-
extension
4+
c : ( repeat each b
5+
extension
66
struct Index {
77
d : (repeat(each b.Index
88
} var endIndex : Index {
9-
Index(d: repeat (each c).endIndex
9+
Index(d: repeat (each c).endIndex

‎validation-test/compiler_crashers_2/eae1c23b8661884.swift renamed to ‎validation-test/compiler_crashers_2/88ba80199b702649.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"(anonymous namespace)::ExprRewriter::finishApply(swift::ApplyExpr*, swift::Type, swift::constraints::ConstraintLocatorBuilder, swift::constraints::ConstraintLocatorBuilder)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
func a(b : ()->Void c : _->Void) { withoutActuallyEscaping(b do : c
3+
func a(b : ()->Void c : _->Void) { withoutActuallyEscaping(b do : c

‎validation-test/compiler_crashers_2/e38f396e3ac8635.swift renamed to ‎validation-test/compiler_crashers_2/89bcf379b8d4d092.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,5 @@
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
struct a < b : FixedWidthInteger extension a : Sequence {
44
c {
5-
{ for
6-
d self { b(truncatingIfNeeded : d
5+
{ for
6+
d self { b(truncatingIfNeeded : d

‎validation-test/compiler_crashers_2/664bfb127c7ab070.swift renamed to ‎validation-test/compiler_crashers_2/8a6584ca91fedd9.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::EnumRawValuesRequest::evaluate(swift::Evaluator&, swift::EnumDecl*, swift::TypeResolutionStage) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
func a<each b>(c : repeat each b) { repeat !(d c
3+
func a<each b>(c : repeat each b) { repeat !(d c

‎validation-test/compiler_crashers_2/8ae148bd6e72fec2.swift

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎validation-test/compiler_crashers_2/8dc888b8948ac9a.swift renamed to ‎validation-test/compiler_crashers_2/912b50e86d7f221c.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
// {"signature":"swift::constraints::AllowTypeOrInstanceMemberFailure::diagnoseAsError()"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
struct a func b<c >(c = a [
3+
struct a func b<c >(c = a [
44
extension a {
55
subscript->Int

‎validation-test/compiler_crashers_2/28df9f73eb89a38.swift renamed to ‎validation-test/compiler_crashers_2/93553842ae73253.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"lookupReplacedDecl(swift::DeclNameRef, swift::DeclAttribute const*, swift::ValueDecl const*, llvm::SmallVectorImpl<swift::ValueDecl*>&)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
{ @_dynamicReplacement(for: ) func a
3+
{ @_dynamicReplacement(for: ) func a

‎validation-test/compiler_crashers_2/f14720755187419.swift renamed to ‎validation-test/compiler_crashers_2/9f75fc85a5c32bf2.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"swift::constraints::ConstraintSystem::setTargetFor(swift::constraints::SyntacticElementTargetKey, swift::constraints::SyntacticElementTarget)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
{$0=[{} }(
3+
{$0=[{} }(
44
[a:

‎validation-test/compiler_crashers_2/aea9b13219906649.swift renamed to ‎validation-test/compiler_crashers_2/a04f67aa8fb22efa.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
struct a < Element {
44
b {
5-
class c : Collection { typealias Index = d subscript(e :
5+
class c : Collection { typealias Index = d subscript(e :

‎validation-test/compiler_crashers_2/2a41be58398eb21.swift renamed to ‎validation-test/compiler_crashers_2/a12deef4ea31815.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"swift::DeclContext::getASTContext() const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
@a({ struct b }
3+
@a({ struct b }
44
var c

‎validation-test/compiler_crashers_2/ccbe6b312cbec2.swift renamed to ‎validation-test/compiler_crashers_2/a53b65eef074b0fa.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"swift::constraints::MissingConformanceFailure::diagnoseTypeCannotConform(swift::Type, swift::Type) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
protocol a extension a {
4-
b { func * (Self= {
4+
b { func * (Self= {

‎validation-test/compiler_crashers_2/42a0e5e85861da7e.swift renamed to ‎validation-test/compiler_crashers_2/b862de77602e6bcf.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"$s11swiftASTGen19addQueuedDiagnostic20queuedDiagnosticsPtr011perFrontende5StateH04text8severity4cLoc12categoryName17documentationPath015highlightRangesH0012numHighlightT013fixItsUntypedySv_SvSo16BridgedStringRefVSo0zE8SeverityVSo0z6SourceN0VA2NSPySo0Z15CharSourceRangeVGSgSiSo0Z8ArrayRefVtF"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
// REQUIRES: swift_swift_parser
4-
class a { @objc ( : ( b
4+
class a { @objc ( : ( b

‎validation-test/compiler_crashers_2/5ca07be48f3dc630.swift renamed to ‎validation-test/compiler_crashers_2/bf28fe4f10fb3dc.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::TuplePatternElt& llvm::SmallVectorTemplateBase<swift::TuplePatternElt, true>::growAndEmplaceBack<swift::Identifier, swift::SourceLoc, swift::Pattern*&>(swift::Identifier&&, swift::SourceLoc&&, swift::Pattern*&)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
switch { case .a(&b
3+
switch { case .a(&b

‎validation-test/compiler_crashers_2/f9e59e692b1a6124.swift renamed to ‎validation-test/compiler_crashers_2/c9616ad936925cb2.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::constraints::Solution::getFunctionArgApplyInfo(swift::constraints::ConstraintLocator*) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
func a<b, each c>(d : repeat(b)->each c) { repeat d(e = f
3+
func a<b, each c>(d : repeat(b)->each c) { repeat d(e = f

‎validation-test/compiler_crashers_2/ca6d8aa86398959.swift renamed to ‎validation-test/compiler_crashers_2/ca590685b7123ac.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::SubstitutionMap::get(swift::GenericSignature, swift::InFlightSubstitution&)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
struct a < each b { class c protocol d init(e: c & d
3+
struct a < each b { class c protocol d init(e: c & d

‎validation-test/compiler_crashers_2/1834491e5a6c6aa.swift renamed to ‎validation-test/compiler_crashers_2/d14a9abe37cc3bca.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"swift::constraints::SolverTrail::~SolverTrail()"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
enum a< b { case c(}
4-
func d< b >(b->a< b >) d(a< e >.c let a
3+
enum a< b { case c(}
4+
func d< b >(b->a< b >) d(a< e >.c let a

‎validation-test/compiler_crashers_2/a956113db696f695.swift renamed to ‎validation-test/compiler_crashers_2/d48b4d2e686349d.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::constraints::ConstraintSystem::associateArgumentList(swift::constraints::ConstraintLocator*, swift::ArgumentList*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
protocol b let b = { (a : b)in switch a { case .c(d(
3+
protocol b let b = { (a : b)in switch a { case .c(d(

‎validation-test/compiler_crashers_2/462166deb3165a25.swift renamed to ‎validation-test/compiler_crashers_2/df69d29c5771e948.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
// {"signature":"swift::constraints::ConstraintSystem::repairFailures(swift::Type, swift::Type, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, llvm::SmallVectorImpl<swift::constraints::RestrictionOrFix>&, swift::constraints::ConstraintLocatorBuilder)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
func a< b , c : Sequence, d >( b, c) where b== c.Element a( ( 0 , [ (0 0), (
3+
func a< b , c : Sequence, d >( b, c) where b== c.Element a( ( 0 , [ (0 0), (

‎validation-test/compiler_crashers_2/a07eb9e27e229d9.swift renamed to ‎validation-test/compiler_crashers_2/e1f8b6a26663e9b5.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
// {"signature":"swift::CanTypeVisitor<swift::TypeMatcher<(anonymous namespace)::AssociatedTypeInference::getPotentialTypeWitnessesByMatchingTypes(swift::ValueDecl*, swift::ValueDecl*)::MatchVisitor>::MatchVisitor, bool, swift::Type, swift::Type>::visit(swift::CanType, swift::Type, swift::Type)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
protocol a { associatedtype b func c(_ : _ d: b }
4-
extension a { c(_ : _ d: b struct e : a
3+
protocol a { associatedtype b func c(_ : _ d: b }
4+
extension a { c(_ : _ d: b struct e : a

‎validation-test/compiler_crashers_2/e28bbaa21817d3.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::TypeBase::removeArgumentLabels(unsigned int)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a dynamic subscript(b c: Int) a subscript(b c: Int) a @_dynamicReplacement(for: subscript) subscript(Int) a { }

‎validation-test/compiler_crashers_2/a14425d8c311540.swift renamed to ‎validation-test/compiler_crashers_2/e594fd2382ce311.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
// {"signature":"swift::constraints::MissingCallFailure::diagnoseAsError()"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
struct a < each b {
4-
init(repeat each b) func c < each d { a<repeat each d, String >(repeat e, {
4+
init(repeat each b) func c < each d { a<repeat each d, String >(repeat e, {
55
""

‎validation-test/compiler_crashers_2/5f39f86b8424ccb.swift renamed to ‎validation-test/compiler_crashers_2/ee271b56888b63fa.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
// {"signature":"swift::InFlightSubstitution::substType(swift::SubstitutableType*, unsigned int)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
typealias a< each b > = ( < struct c< each d {
3+
typealias a< each b > = ( < struct c< each d {
44
typealias e< each b > = (repeat a< each d, each b >
5-
struct f typealias 1 = c .e<>
5+
struct f typealias 1 = c .e<>

0 commit comments

Comments
 (0)