Skip to content

Commit ba715db

Browse files
hamishknighthamishknight
authored
Merge pull request #82103 from hamishknight/fuzzy
[test] Add a few more known type-checker crashers
2 parents 7d45453 + 92a5c00 commit ba715db

File tree

83 files changed

+211
-30
lines changed

Some content is hidden

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

83 files changed

+211
-30
lines changed

‎validation-test/compiler_crashers_2/05cd0fe621934.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::FunctionTypeMismatch::FunctionTypeMismatch(swift::constraints::Solution const&, swift::ContextualTypePurpose, swift::Type, swift::Type, llvm::ArrayRef<unsigned int>, swift::constraints::ConstraintLocator*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a< each b >->(Int, repeat each b)Float= a(

‎validation-test/compiler_crashers_2/12d47ccfc65a990.swift

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

‎validation-test/compiler_crashers_2/181de8a256df48e.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
protocol a {
54
typealias Index extension Collection where Self : a{b : Index} protocol a

‎validation-test/compiler_crashers_2/1834491e5a6c6aa.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::constraints::SolverTrail::~SolverTrail()"}
2+
// 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

‎validation-test/compiler_crashers_2/1be7dd4882cd8c39.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// {"signature":"swift::RootProtocolConformance::getWitness(swift::ValueDecl*) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
protocol a{typealias b : IteratorProtocol} extension a{typealias Element =
54
b.Element} protocol c
65
: a{typealias b typealias Element} protocol d

‎validation-test/compiler_crashers_2/2819a60354d8389.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::rewriting::PropertyMap::addSuperclassProperty(swift::rewriting::Term, swift::rewriting::Symbol, unsigned int)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a < b class c : a func d < b where b : a<Int>, b : c

‎validation-test/compiler_crashers_2/28df9f73eb89a38.swift

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

‎validation-test/compiler_crashers_2/2d5e95ea862946ed.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"(anonymous namespace)::ExprWalker::walkToExprPost(swift::Expr*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a {
4+
{
5+
\ b() a

‎validation-test/compiler_crashers_2/3056ff53cabf9480.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::setClosureType(swift::ClosureExpr const*, swift::FunctionType*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol b let c = {(a : b)in switch a{case.d {

‎validation-test/compiler_crashers_2/361c5acf488944d1.swift

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// {"signature":"swift::InFlightSubstitution::lookupConformance(swift::Type, swift::ProtocolDecl*, unsigned int)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
typealias a<b, c, d> = () struct e < each b {
4+
typealias f<each c, d> = (repeat a<each b, each c, d>)struct g < each c {
5+
typealias h< each d > = (repeat f< repeat each c, each d >
6+
struct i typealias j< each d > =
7+
e< i >.g< repeat each b >.h< repeat each d >

‎validation-test/compiler_crashers_2/37982596fddeb5d.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::TypeBase::getOptionalObjectType()"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
enum a { b } {
4+
let:
5+
String->a = a.b

‎validation-test/compiler_crashers_2/3ba9659c56ebf6a.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::ast_scope::SpecializeAttributeScope::getSourceRangeOfThisASTNode(bool) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
{
54
@in

‎validation-test/compiler_crashers_2/3c95e32711989555.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ConstraintLocator::isKeyPathMemberComponent() const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
\_(error)

‎validation-test/compiler_crashers_2/41a8ab272521be7.swift

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

‎validation-test/compiler_crashers_2/42a0e5e85861da7e.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"$s11swiftASTGen19addQueuedDiagnostic20queuedDiagnosticsPtr011perFrontende5StateH04text8severity4cLoc12categoryName17documentationPath015highlightRangesH0012numHighlightT013fixItsUntypedySv_SvSo16BridgedStringRefVSo0zE8SeverityVSo0z6SourceN0VA2NSPySo0Z15CharSourceRangeVGSgSiSo0Z8ArrayRefVtF"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: swift_swift_parser
4+
class a { @objc ( : ( b

‎validation-test/compiler_crashers_2/437e5d84c586a6e9.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"std::__1::optional<swift::Type> llvm::function_ref<std::__1::optional<swift::Type> (swift::TypeBase*)>::callback_fn<swift::constraints::FailureDiagnostic::resolveType(swift::Type, bool, bool) const::$_0>(long, swift::TypeBase*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
Array(repeat a

‎validation-test/compiler_crashers_2/4414db6acd8120aa.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
11
// {"signature":"swift::ast_scope::ASTScopeImpl::printRange(llvm::raw_ostream&) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
func a < >>

‎validation-test/compiler_crashers_2/442f5cd1363787db.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::Decl::getResolvedCustomAttrType(swift::CustomAttr*) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
struct a {
54
@b c, () {

‎validation-test/compiler_crashers_2/4546ece627bfc746.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::addFix(swift::constraints::ConstraintFix*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a<b>(b) -> b a(["":0]) as [Int:String]

‎validation-test/compiler_crashers_2/457eda8bf9011b6.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::constraints::ConstraintSystem::setCapturedExpansions(swift::AnyFunctionRef, llvm::SmallVector<swift::PackExpansionExpr*, 1u>)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
{
54
repeat a {

‎validation-test/compiler_crashers_2/462166deb3165a25.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +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-
// REQUIRES: asserts
43
func a< b , c : Sequence, d >( b, c) where b== c.Element a( ( 0 , [ (0 0), (

‎validation-test/compiler_crashers_2/462ee2aa7dc23cf3.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// {"signature":"recordTypeWitness(swift::NormalProtocolConformance*, swift::AssociatedTypeDecl*, swift::Type, swift::TypeDecl*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
protocol a{associatedtype b} protocol c
54
: a{d(b)} protocol e{associatedtype f} extension e {
65
protocol g : e, c { associatedtype f : c associatedtype b }

‎validation-test/compiler_crashers_2/4e0ec9b1a746e17.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::recordOpenedTypes(swift::constraints::ConstraintLocatorBuilder, llvm::SmallVectorImpl<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>&, bool)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
a<b> class a func a < c class b < d

‎validation-test/compiler_crashers_2/4fbdbc38c141e94.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
11
// {"signature":"swift::TypeChecker::typeCheckParameterDefault(swift::Expr*&, swift::DeclContext*, swift::Type, bool, bool)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
init<a>(b: a == {

‎validation-test/compiler_crashers_2/579b1dc15fcb172.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::diagnoseArgumentLabelError(swift::ASTContext&, swift::ArgumentList const*, llvm::ArrayRef<swift::Identifier>, swift::ParameterContext, swift::InFlightDiagnostic*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a<b>((), c : ()->b) a {}
4+
c : {

‎validation-test/compiler_crashers_2/579f31114c8e96.swift

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// {"signature":"swift::DeclAttribute::printImpl(swift::ASTPrinter&, swift::PrintOptions const&, swift::Decl const*) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a { associatedtype b }
4+
public
5+
struct c < d : a extension c {
6+
public
7+
typealias e = d.b

‎validation-test/compiler_crashers_2/5ca07be48f3dc630.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +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-
// REQUIRES: asserts
43
switch { case .a(&b

‎validation-test/compiler_crashers_2/5f26ba86c56cc88.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::getCalleeLocator(swift::constraints::ConstraintLocator*, bool, llvm::function_ref<swift::Type (swift::Expr*)>, llvm::function_ref<swift::Type (swift::Type)>, llvm::function_ref<std::__1::optional<swift::constraints::SelectedOverload> (swift::constraints::ConstraintLocator*)>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a func b(c : [Int]) {
4+
\ a(c.map{})

‎validation-test/compiler_crashers_2/5f39f86b8424ccb.swift

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

‎validation-test/compiler_crashers_2/634c65af014195.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::PackType::getSingletonPackExpansion(swift::Type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a func b < each c : a {
4+
b

‎validation-test/compiler_crashers_2/64bfdff1cfbfc74.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// {"signature":"swift::constraints::ConstraintSystem::simplifySameShapeConstraint(swift::Type, swift::Type, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
struct a < each b {
54
c(d : repeat each b) {
65
c(preacidte : b) {

‎validation-test/compiler_crashers_2/651fea1b598eb09d.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::constraints::ConjunctionStep::SolverSnapshot::~SolverSnapshot()"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
// REQUIRES: OS=macosx
4-
// REQUIRES: asserts
54
import Foundation{let a = malloc(b.c <d>

‎validation-test/compiler_crashers_2/664bfb127c7ab070.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::EnumRawValuesRequest::evaluate(swift::Evaluator&, swift::EnumDecl*, swift::TypeResolutionStage) const"}
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/666bd08556187ed3.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
11
// {"signature":"(anonymous namespace)::DeclChecker::visitExtensionDecl(swift::ExtensionDecl*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
extension repeat (

‎validation-test/compiler_crashers_2/66e337320b1924c.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"std::__1::__function::__func<resolveTypeWitnessViaLookup(swift::NormalProtocolConformance*, swift::AssociatedTypeDecl*)::$_3, std::__1::allocator<resolveTypeWitnessViaLookup(swift::NormalProtocolConformance*, swift::AssociatedTypeDecl*)::$_3>, void (swift::NormalProtocolConformance*)>::~__func()"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct b let b c a = b protocol a : a

‎validation-test/compiler_crashers_2/67f3134fa56c913.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::constraints::ContextualFailure::diagnoseConversionToBool() const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@propertyWrapper struct a {
4+
wrappedValue : Bool {
5+
@a var b : Int

‎validation-test/compiler_crashers_2/698f276cef6d3418.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::DefaultAndMaxAccessLevelRequest::cacheResult(std::__1::pair<swift::AccessLevel, swift::AccessLevel>) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
struct a < b extension a where b : c, d == a {
54
protocol c struct a

‎validation-test/compiler_crashers_2/6a33401772c7458.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// {"signature":"swift::constraints::GenericArgumentsMismatchFailure::GenericArgumentsMismatchFailure(swift::constraints::Solution const&, swift::Type, swift::Type, llvm::ArrayRef<unsigned int>, swift::constraints::ConstraintLocator*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
class a < b, c {
54
typealias d = b typealias e =
65
c class f<b, c> : a<b, c> class g<h, i> : f<(h, i), c> {

‎validation-test/compiler_crashers_2/708df9aa47bf25c1.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +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-
// REQUIRES: asserts
43
switch { case (repeat a

‎validation-test/compiler_crashers_2/756ba8587e7eb26b.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// {"signature":"(anonymous namespace)::Verifier::verifyChecked(swift::Type)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
class a < b {
54
d {
65
class e<c, b> : a struct f subscript<g>(h : e<f, g>) {

‎validation-test/compiler_crashers_2/77b431f821682d0.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::ProtocolConformanceRef::forEachMissingConformance(llvm::function_ref<bool (swift::BuiltinProtocolConformance*)>) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: rdar152763265
4+
.a == .! == b / c

‎validation-test/compiler_crashers_2/7c107da0279a73c.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::PackType::getExpandedGenericArgs(llvm::ArrayRef<swift::GenericTypeParamType*>, llvm::ArrayRef<swift::Type>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a < each b typealias c<each d> = a<> c < e

‎validation-test/compiler_crashers_2/7d3e143ce48c791.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::SourceFile::getIfConfigClausesWithin(swift::SourceRange) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
{
4+
if
5+
case.(let \ a) { a

‎validation-test/compiler_crashers_2/807f13dbbc4a604f.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::AccessLevelRequest::cacheResult(swift::AccessLevel) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
class a < b extension a where c == d {
54
protocol d

‎validation-test/compiler_crashers_2/83d5136a1ea615f9.swift

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice, swift::DeclContext*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a func b(c : a) {
4+
{
5+
switch
6+
c { case .baz(c==

‎validation-test/compiler_crashers_2/877192df3b9c32d.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"conformsToInvertible(swift::CanType, swift::InvertibleProtocolKind)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
typealias a = FlattenCollection...

‎validation-test/compiler_crashers_2/8ae148bd6e72fec2.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/8c2d6198e18a56a.swift

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

‎validation-test/compiler_crashers_2/8dc888b8948ac9a.swift

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

‎validation-test/compiler_crashers_2/98fb6d3cc49f5d1d.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::AbstractStorageDecl::mutability(swift::DeclContext const*, std::__1::optional<swift::DeclRefExpr const*>) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@propertyWrapper struct a {
4+
@a $b:

‎validation-test/compiler_crashers_2/9b91d843ce95d4f.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::ide::printTypeUSR(swift::Type, llvm::raw_ostream&)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a {
4+
class b < c class e : a<> {
5+
d = b

‎validation-test/compiler_crashers_2/78a5afee5d5b95.swift renamed to ‎validation-test/compiler_crashers_2/9d8144a4e9141c6d.swift

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +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-
// REQUIRES: asserts
4-
func a: b[ if let
3+
func a: b[ if let

‎validation-test/compiler_crashers_2/a14425d8c311540.swift

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

‎validation-test/compiler_crashers_2/a517ab621b50bee2.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::GenericEnvironment::getOrCreateArchetypeFromInterfaceType(swift::Type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@resultBuilder enum a < b { struct c{@a d:

‎validation-test/compiler_crashers_2/a7ea7ad030665968.swift

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
// {"signature":"swift::TypeChecker::checkObjCKeyPathExpr(swift::DeclContext*, swift::KeyPathExpr*, bool)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: objc_interop
4+
#keyPath(
5+
print

‎validation-test/compiler_crashers_2/a7ee60c01ddf9624.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// {"signature":"(anonymous namespace)::LookupResultBuilder::add(swift::ValueDecl*, swift::DeclContext*, swift::ValueDecl*, swift::Type, bool)::'lambda'(swift::ValueDecl*)::operator()(swift::ValueDecl*) const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
protocol a{b} protocol c : a protocol d : c extension d {
54
struct e : d {
65
f {

‎validation-test/compiler_crashers_2/a956113db696f695.swift

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

‎validation-test/compiler_crashers_2/b4746fa8b4efd96.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"(anonymous namespace)::DeclChecker::visit(swift::Decl*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
extension(a[ 0.0 b

‎validation-test/compiler_crashers_2/b698c95ef914d7.swift

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

‎validation-test/compiler_crashers_2/bb317d94bc705750.swift

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

‎validation-test/compiler_crashers_2/c24f9fc998e2886.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
11
// {"signature":"swift::PrintingDiagnosticConsumer::printDiagnostic(swift::SourceManager&, swift::DiagnosticInfo const&)"}
22
// RUN: not --crash %target-swift-frontend -typecheck -diagnostic-style=llvm %s
3-
// REQUIRES: asserts
43
' '

‎validation-test/compiler_crashers_2/c5955772856ea0fa.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::Constraint::create(swift::constraints::ConstraintSystem&, swift::constraints::ConstraintKind, swift::Type, swift::Type, swift::constraints::ConstraintLocator*, llvm::ArrayRef<swift::TypeVariableType*>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a let : a.Type.Type = b->c

‎validation-test/compiler_crashers_2/c9ec50236e69e012.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
// {"signature":"(anonymous namespace)::Verifier::verifyParsed(swift::AbstractClosureExpr*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
func == {
54
switch {
65
case.a {

‎validation-test/compiler_crashers_2/ca6d8aa86398959.swift

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

‎validation-test/compiler_crashers_2/cad1ff6235b5b3d.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::constraints::DisjunctionChoiceProducer::partitionGenericOperators(unsigned int*, unsigned int*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
{
4+
print($0) $00 + 0. / 1

‎validation-test/compiler_crashers_2/d4d72be28bfdea6.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ExpandArrayIntoVarargsFailure::tryDropArrayBracketsFixIt(swift::Expr const*) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
ExpressibleByDictionaryLiteral([]

‎validation-test/compiler_crashers_2/d55c5b967af3ce9d.swift

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

‎validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
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-
// REQUIRES: asserts
43
struct a { eq = "" b "Self ecuador1 Self) > Bool {
54
let getProperties = (
65
\.eq as Self -> _

‎validation-test/compiler_crashers_2/dfd09450bb7a1.swift

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// {"signature":"swift::ProtocolConformanceRef::forAbstract(swift::Type, swift::ProtocolDecl*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
// REQUIRES: rdar152763265
4+
@resultBuilder struct a {
5+
static buildBlock<b, c, d, e>(b, c, d, e) func f<h>(_ : Bool @a Bool->h) { f(true {
6+
cond in var g : Int g 2 30\ g

‎validation-test/compiler_crashers_2/dfe03ade76b34fdb.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// {"signature":"swift::ASTContext::getSpecializedConformance(swift::Type, swift::NormalProtocolConformance*, swift::SubstitutionMap)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
3-
// REQUIRES: asserts
43
protocol a{ < } protocol b { associatedtype c : a where d == Self }
54
class e<f> : a where f : b, f.c == e

0 commit comments

Comments
 (0)