Skip to content

Commit 8acde34

Browse files
hamishknighthamishknight
authored
Merge pull request #82263 from hamishknight/fuzzy
2 parents 5a1d3a8 + 05ae4c4 commit 8acde34

File tree

100 files changed

+299
-45
lines changed

Some content is hidden

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

100 files changed

+299
-45
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/1b16ff2a2ad5be.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::Parser::parseAbstractFunctionBody(swift::AbstractFunctionDecl*, swift::optionset::OptionSet<swift::Parser::ParseDeclFlags, unsigned short>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@abi(func a {

‎validation-test/compiler_crashers_2/1c4f5ed8bb743453.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::Parser::parseNewDeclAttribute(swift::DeclAttributes&, swift::SourceLoc, swift::DeclAttrKind, bool)::$_4::operator()() const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a {
4+
class override b

‎validation-test/compiler_crashers_2/1f1b9ed16e283e76.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::LazyStoragePropertyRequest::evaluate(swift::Evaluator&, swift::VarDecl*) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a {
4+
lazy(b, c) {

‎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/1fb63f2dc87bc9b9.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::Parser::parseDecl(bool, bool, llvm::function_ref<void (swift::Decl*)>, bool)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a { class override ( override

‎validation-test/compiler_crashers_2/23dbe8bd74c95a.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::TypeChecker::checkDeclAttributes(swift::Decl*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a { b }
4+
@_implements(a, b) typealias c =

‎validation-test/compiler_crashers_2/259dac55924ef426.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::GenericContext::getGenericParams() const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
typealias a = () extension a : Comparable

‎validation-test/compiler_crashers_2/2617a198505b47e4.swift

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// {"signature":"swift::rewriting::RequirementMachine::getReducedShape(swift::Type, llvm::ArrayRef<swift::GenericTypeParamType*>) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a{ b < c > (c, _ : c}
4+
protocol d : a{
5+
b<c : e>(c, c.c) protocol e {
6+
associatedtype c struct f : d

‎validation-test/compiler_crashers_2/2b51707df3736f.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::recordMatchCallArgumentResult(swift::constraints::ConstraintLocator*, swift::constraints::MatchCallArgumentResult)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
if
4+
case.a(a.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/4b5eac547c7b87.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"checkDistributedTargetResultType(swift::ValueDecl*, swift::Type, bool)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: OS=macosx
4+
import Distributed protocol a:DistributedActor{distributed actor:

‎validation-test/compiler_crashers_2/4c84d3d852cdd1d4.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::ProtocolConformanceRef::forAbstract(swift::Type, swift::ProtocolDecl*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
var sixDoubles
4+
: Double "six has the value [\( ( sixDoubles \[]) }0 \0\0 \0 \sixDoubles)"

‎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/52afb182b33879f5.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::TypeBase::getSuperclassForDecl(swift::ClassDecl const*, bool)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a {
4+
typealias b = c class e : a protocol d : e, d.b

‎validation-test/compiler_crashers_2/56edea24a97933f.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::isRepresentableInObjC(swift::VarDecl const*, swift::ObjCReason)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: objc_interop
4+
class a class b open extension b {
5+
@objc c : a

‎validation-test/compiler_crashers_2/5716fcca10bf3ff7.swift

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// {"signature":"createImplicitConstructor(swift::NominalTypeDecl*, ImplicitConstructorKind, swift::ASTContext&)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a @propertyWrapper struct b < c {
4+
wrappedValue : c
5+
} @propertyWrapper struct d {
6+
var wrappedValue @b var e : a @d var f

‎validation-test/compiler_crashers_2/57c3871466765f0.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::constraints::ConstraintGraph::computeConnectedComponents(llvm::ArrayRef<swift::TypeVariableType*>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
let i = Array(... a { " ? \(i Array* )" }
4+
, b 1

‎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/5ccf43ee108a37e9.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::GenericEnvironment::mapTypeIntoContext(swift::Type) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@abi(func a->b) func a < b

‎validation-test/compiler_crashers_2/64915463735bcf5b.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::SimpleRequest<swift::IsStaticRequest, bool (swift::FuncDecl*), (swift::RequestFlags)4>::noteCycleStep(swift::DiagnosticEngine&) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: OS=macosx
4+
import Distributed typealias DefaultDistributedActorSystem = LocalTestingDistributedActorSystem distributed actor a{distributed...

‎validation-test/compiler_crashers_2/664bfb127c7ab070.swift

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

‎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/6cbf7908427d45f.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::Decl::getLoc(bool) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@_typeEraser(a) protocol b dynamic func c->some b {
4+
d

‎validation-test/compiler_crashers_2/7459efb59886f47d.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::DerivedConformance::deriveDistributedActor(swift::ValueDecl*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: OS=macosx
4+
import Distributed typealias DefaultDistributedActorSystem = LocalTestingDistributedActorSystem distributed actor a{c, b

‎validation-test/compiler_crashers_2/75874d2cf6f384c8.swift

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
// {"signature":"swift::constraints::ArrayLiteralToDictionaryConversionFailure::diagnoseAsError()"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@propertyWrapper struct a<b{
4+
wrappedValue: b
5+
}
6+
@propertyWrapper struct c<b{
7+
wrappedValue: b
8+
}
9+
{
10+
@c @a var value = if true
11+
let : c<a<Bool>> = _value

‎validation-test/compiler_crashers_2/7643813f44ce5b.swift

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

‎validation-test/compiler_crashers_2/771c5a9342d7660.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::BoundGenericType::getExpandedGenericArgs()"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a func b [{ lazy var c = a(d var e = b

‎validation-test/compiler_crashers_2/79ac90c35c46dbab.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"(anonymous namespace)::TypeJoin::visitExistentialType(swift::CanType)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a protocol b < c { associatedtype c }
4+
[ b<a>, a & b

‎validation-test/compiler_crashers_2/7aa9d3699dddb337.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::PatternTypeRequest::evaluate(swift::Evaluator&, swift::ContextualPattern) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: objc_interop
4+
@objcMembers class a open extension a {
5+
var b

‎validation-test/compiler_crashers_2/7e19cb4cc0598c1b.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::Expr::getArgs() const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a<let b: Int?{ int: Int { b

‎validation-test/compiler_crashers_2/84d2d3eac9e9a0.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::emitLoadedModuleTraceIfNeeded(swift::ModuleDecl*, swift::DependencyTracker*, swift::FrontendOptions const&, swift::InputFile const&)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@propertyWrapper struct a {
4+
wrappedValue : b var projectedValue init(projectedValue c) {
5+
func d(@a Int) d

‎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/8a6431938ab864b3.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::rewriting::RequirementMachine::checkCompletionResult(swift::rewriting::CompletionResult) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a : b protocol b{associatedtype c} protocol d : e,
4+
f protocol e
5+
: g where c : e protocol g : b protocol f : a where c : f

‎validation-test/compiler_crashers_2/8a6584ca91fedd9.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::TypeChecker::typesSatisfyConstraint(swift::Type, swift::Type, bool, swift::constraints::ConstraintKind, swift::DeclContext*, bool*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
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/90773c979d435f7.swift

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
// {"signature":"swift::isOverrideBasedOnType(swift::ValueDecl const*, swift::Type, swift::ValueDecl const*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a < b {
4+
protocol c { associatedtype d init(e : d
5+
}
6+
class f {
7+
init(e : Int) {
8+
class 4 : f, c { init(e : d

‎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/933fe28af784ae94.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"(anonymous namespace)::ASTScopeDeclConsumerForUnqualifiedLookup::consume(llvm::ArrayRef<swift::ValueDecl*>, swift::NullablePtr<swift::DeclContext>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
{
4+
@abi(func a) var b : c

‎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/93eaba9fd0e76cdf.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"diagnoseDictionaryLiteralDuplicateKeyEntries(swift::Expr const*, swift::DeclContext const*)::DiagnoseWalker::walkToExprPre(swift::Expr*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
[ 1.01: "" 1.01: ""

‎validation-test/compiler_crashers_2/975116cdaa9f417.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::ExprPattern::updateMatchExpr(swift::Expr*) const::FindMatchOperatorDeclRef::walkToExprPre(swift::Expr*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func ~= (a) if case ~= b

‎validation-test/compiler_crashers_2/983a37d76b4923e.swift

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

‎validation-test/compiler_crashers_2/98887170a0bfefc0.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"$s11swiftASTGen24evaluatePoundIfCondition10astContext13diagEnginePtr16sourceFileBuffer02ifF4Text14shouldEvaluateSiSo17BridgedASTContextV_SvSo0S9StringRefVAKSbtF"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: swift_swift_parser
4+
#if canImport(#available

‎validation-test/compiler_crashers_2/9967f3fc56f84a1e.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"formatDiagnosticArgument(llvm::StringRef, llvm::StringRef, llvm::ArrayRef<swift::DiagnosticArgument>, unsigned int, swift::DiagnosticFormatOptions, llvm::raw_ostream&)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@propertyWrapper struct a func b(@a Int) b($c:d

‎validation-test/compiler_crashers_2/9adf18151655a6ae.swift

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

‎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/a0b4d94ad0e977d0.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::findSyntacticErrorForConsume(swift::ModuleDecl*, swift::SourceLoc, swift::Expr*, llvm::function_ref<swift::Type (swift::Expr*)>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a(consume : String) {
4+
consume consume consume

‎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/a1776e4598146d49.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"(anonymous namespace)::ResolvePattern::visitCallExpr(swift::CallExpr*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
enum a { b : _const a

‎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/a81ff5cc2d29ef15.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"void swift::Diagnostic::gatherArgs<swift::Identifier, bool, swift::TypeRepr*>(swift::Identifier, bool, swift::TypeRepr*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: objc_interop
4+
@objcMembers class a open extension a {
5+
...

‎validation-test/compiler_crashers_2/a9f541ae5c40ef35.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"(anonymous namespace)::ABIDependencyEvaluator::computeABIDependenciesForModule(swift::ModuleDecl*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a { init? { init!

‎validation-test/compiler_crashers_2/ab146c5c26ca113.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"getIsolationFromAttributes(swift::Decl const*, bool, bool)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
isolated let a

‎validation-test/compiler_crashers_2/b44bf5a5a8274.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ContextualFailure::getDiagnosticFor(swift::ContextualTypePurpose, swift::Type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
{ struct a func b< c >->c->() var : (inout a)->() = b(

‎validation-test/compiler_crashers_2/b7d484d056661ff.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::PackExpansionType::PackExpansionType(swift::Type, swift::Type, swift::RecursiveTypeProperties, swift::ASTContext const*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
[Int : Int](Int) { a, b in a[b b= b * b

‎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/b8a659988983457.swift

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

‎validation-test/compiler_crashers_2/b93e9e54c72f13c9.swift

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// {"signature":"swift::rewriting::RewriteSystem::processTypeDifference(swift::rewriting::TypeDifference const&, unsigned int, unsigned int, swift::rewriting::RewritePath const&)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a < b class c<b, h> : a<(b, h)> protocol d {
4+
associatedtype b : c<e, f> associatedtype e associatedtype f associatedtype b
5+
: a<g>
6+
associatedtype g where g == e

‎validation-test/compiler_crashers_2/b98d91945bd93d30.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::adjustFunctionTypeForConcurrency(swift::AnyFunctionType*, swift::ValueDecl*, swift::DeclContext*, unsigned int, bool, llvm::function_ref<swift::Type (swift::AbstractClosureExpr const*)>, llvm::function_ref<bool (swift::ClosureExpr const*)>, llvm::function_ref<swift::Type (swift::Type)>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
actor a func b(isolated a...) b

‎validation-test/compiler_crashers_2/bafa48a4eecbfb62.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<unsigned int, unsigned int, bool>(swift::SourceLoc, swift::Diag<unsigned int, unsigned int, bool>, swift::detail::PassArgument<unsigned int>::type, swift::detail::PassArgument<unsigned int>::type, swift::detail::PassArgument<bool>::type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: objc_interop
4+
class b open extension b {
5+
@objc c : a

‎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

0 commit comments

Comments
 (0)