Skip to content

Commit 2e6fd16

Browse files
hamishknighthamishknight
committed
[test] Add a few more known type-checker crashers
1 parent d3abee7 commit 2e6fd16

Some content is hidden

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

54 files changed

+207
-1
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/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/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/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/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/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/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/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/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/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/77b431f821682d0.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::ProtocolConformanceRef::forEachMissingConformance(llvm::function_ref<bool (swift::BuiltinProtocolConformance*)>) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
.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/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 & 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/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/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/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/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/dfd09450bb7a1.swift

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

‎validation-test/compiler_crashers_2/e38f396e3ac8635.swift

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
// {"signature":"swift::FunctionType::get(llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::Type, std::__1::optional<swift::ASTExtInfo>)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a < b : FixedWidthInteger extension a : Sequence {
4+
c {
5+
{ for
6+
d self { b(truncatingIfNeeded : d

‎validation-test/compiler_crashers_2/e991ae179ce5e7f6.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::matchFunctionTypes(swift::FunctionType*, swift::FunctionType*, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a b _openExistential((c a

‎validation-test/compiler_crashers_2/eae1c23b8661884.swift

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

‎validation-test/compiler_crashers_2/f14720755187419.swift

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

‎validation-test/compiler_crashers_2/f7546097c158a148.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"(anonymous namespace)::ActorIsolationChecker::checkLocalCaptures(swift::AnyFunctionRef)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
struct a {
4+
b : c =, d = {} protocol c

‎validation-test/compiler_crashers_2/faa012128bc0b7c7.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
{ $0?={

‎validation-test/compiler_crashers_2/fc35131688595b.swift

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

‎validation-test/compiler_crashers_2/fea44854b27673b7.swift

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

0 commit comments

Comments
 (0)