Skip to content

Commit 20d04a9

Browse files
hamishknighthamishknight
committed
[test] Add a few more known type-checker crashers
1 parent 6570da3 commit 20d04a9

Some content is hidden

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

59 files changed

+232
-3
lines changed

‎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/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/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/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":"std::__1::pair<llvm::DenseMapIterator<swift::Identifier, unsigned int, llvm::DenseMapInfo<swift::Identifier, void>, llvm::detail::DenseMapPair<swift::Identifier, unsigned int>, false>, bool> llvm::DenseMapBase<llvm::SmallDenseMap<swift::Identifier, unsigned int, 8u, llvm::DenseMapInfo<swift::Identifier, void>, llvm::detail::DenseMapPair<swift::Identifier, unsigned int>>, swift::Identifier, unsigned int, llvm::DenseMapInfo<swift::Identifier, void>, llvm::detail::DenseMapPair<swift::Identifier, unsigned int>>::try_emplace<unsigned int const&>(swift::Identifier const&, unsigned int const&)"}
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/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/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/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/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/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: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
// {"signature":"swift::EnumRawValuesRequest::evaluate(swift::Evaluator&, swift::EnumDecl*, swift::TypeResolutionStage) const"}
1+
// {"signature":"swift::TypeChecker::typesSatisfyConstraint(swift::Type, swift::Type, bool, swift::constraints::ConstraintKind, swift::DeclContext*, bool*)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
func a<each b>(c : repeat each b) { repeat !(d c

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// {"signature":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast, file Casting.h, line 662."}
1+
// {"signature":"swift::TypeDecl::getName() const"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
{
44
extension {

‎validation-test/compiler_crashers_2/c3d13662d24dc5b4.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::diagnoseConstantArgumentRequirement(swift::Expr const*, swift::DeclContext const*)::ConstantReqCallWalker::walkToExprPre(swift::Expr*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
{
4+
@_semantics("oslog.requires_constant_arguments") func a(b) { a(

‎validation-test/compiler_crashers_2/cb8022311165d5ef.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"getDirectWriteAccessStrategy(swift::AbstractStorageDecl const*)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a(@_nonEphemeral UnsafeRawPointer) var arr { b a(&arr

‎validation-test/compiler_crashers_2/cccd6394993ea4a2.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::ErrorType::get(swift::Type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@convention(c) _->Int

‎validation-test/compiler_crashers_2/d2b0fe8a9614624.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::rewriting::RequirementMachine::buildRequirementsFromRules(llvm::ArrayRef<unsigned int>, llvm::ArrayRef<unsigned int>, llvm::ArrayRef<swift::GenericTypeParamType*>, bool, std::__1::vector<swift::Requirement, std::__1::allocator<swift::Requirement>>&, std::__1::vector<swift::ProtocolTypeAlias, std::__1::allocator<swift::ProtocolTypeAlias>>&) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
class a class b class c protocol d {
4+
associatedtype e where e : a, e : c, e : b

‎validation-test/compiler_crashers_2/d3bddfff4812face.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::SubscriptMisuseFailure::diagnoseAsError()"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
"" [.subscript

‎validation-test/compiler_crashers_2/d48def542970cfa.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::rewriting::performConcreteContraction(llvm::ArrayRef<swift::StructuralRequirement>, llvm::SmallVectorImpl<swift::StructuralRequirement>&, llvm::SmallVectorImpl<swift::rewriting::RequirementError>&, bool)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
func a < each b, each c where(repeat(each c each b)) : {
4+
typealias d<each b> = () func e where d<repeat each b> ==

‎validation-test/compiler_crashers_2/e2b164a3c37951d.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"void llvm::function_ref<void (swift::Type)>::callback_fn<(anonymous namespace)::typeEraseOpenedArchetypes(swift::Type)::$_0>(long, swift::Type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
var a : String { get throws(b{
4+
a

‎validation-test/compiler_crashers_2/e4b446ca551533.swift

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
// {"signature":"swift::constraints::ConstraintSystem::setType(swift::ASTNode, swift::Type)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
@propertyWrapper struct a let() = {(@a)in

‎validation-test/compiler_crashers_2/e69d4d956514d9ef.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::ast_scope::NodeAdder::visitBraceStmt(swift::BraceStmt*, swift::ast_scope::ASTScopeImpl*, swift::ast_scope::ScopeCreator&)::'lambda'(swift::ValueDecl*)::operator()(swift::ValueDecl*) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
{
4+
@abi(var a) subscript->

‎validation-test/compiler_crashers_2/e92dacb419dec8e.swift

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

‎validation-test/compiler_crashers_2/ee1b0cddb8c5936.swift

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
// {"signature":"(anonymous namespace)::AssociatedTypeInference::inferTypeWitnessesViaValueWitnesses(llvm::SetVector<swift::AssociatedTypeDecl*, llvm::SmallVector<swift::AssociatedTypeDecl*, 0u>, llvm::DenseSet<swift::AssociatedTypeDecl*, llvm::DenseMapInfo<swift::AssociatedTypeDecl*, void>>, 0u> const&)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a{associatedtype b} protocol c : RandomAccessCollection struct d < e
4+
: a,
5+
f {
6+
g {
7+
struct h : c {
8+
typealias i = e.b subscript(i) f

‎validation-test/compiler_crashers_2/f1419d3f3c2fe6b9.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// {"signature":"swift::QueryInterfaceTypeSubstitutions::operator()(swift::SubstitutableType*) const"}
1+
// {"signature":"(anonymous namespace)::TypeSubstituter::transformGenericTypeParamType(swift::GenericTypeParamType*, swift::TypePosition)"}
22
// RUN: not --crash %target-swift-frontend -typecheck %s
33
extension Collection where Self : a {
44
struct Index protocol a

‎validation-test/compiler_crashers_2/f676bef08c1061da.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::rewriting::PropertyBag::getAssociatedType(swift::Identifier)"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol b : a{typealias a} protocol a : b {
4+
typealias a

‎validation-test/compiler_crashers_2/fda9a61a6187b061.swift

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// {"signature":"swift::rewriting::RewriteSystem::decomposeTermIntoConformanceRuleLeftHandSides(swift::rewriting::MutableTerm, llvm::SmallVectorImpl<unsigned int>&) const"}
2+
// RUN: not --crash %target-swift-frontend -typecheck %s
3+
protocol a{associatedtype b : c} protocol c { associatedtype d }
4+
struct e : a struct f < g : a, h : c where g.b.d == Int extension f where g == e

‎validation-test/compiler_crashers_2/issue-80657.swift

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// {"signature":"(anonymous namespace)::Verifier::verifyChecked(swift::VarDecl*)"}
12
// RUN: not --crash %target-swift-frontend -emit-sil %s
23

34
// https://github.com/swiftlang/swift/issues/80657

‎validation-test/compiler_crashers_2_fixed/eefe61949e1f5cfd.swift

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

0 commit comments

Comments
 (0)