Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions validation-test/IDE/crashers/08fb80df278d76cd.swift
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
// {"kind":"complete","original":"098f0ede","signature":"swift::constraints::ConstraintSystem::getMemberReferenceTypeFromOpenedType(swift::Type, swift::Type, swift::ValueDecl*, swift::constraints::ConstraintLocator*, bool, bool)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
enum a<b> {
c=d#^^# macro d()
}
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// {"kind":"complete","signature":"swift::IterableDeclContext::addMemberSilently(swift::Decl*, swift::Decl*, bool) const::$_0::operator()(swift::Decl*, swift::Decl*) const"}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -source-filename %s
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
class a {b { { [ } ] in
#^COMPLETE^#
}
Expand Down
2 changes: 1 addition & 1 deletion validation-test/IDE/crashers/64cbd48634eb9eac.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"kind":"complete","signature":"swift::constraints::ConstraintSystem::getType(swift::ASTNode) const","signatureAssert":"Assertion failed: (hasType(node) && \"Expected type to have been set!\"), function getType"}
// {"kind":"complete","signature":"swift::constraints::ConstraintSystem::getType(swift::ASTNode) const","signatureAssert":"Assertion failed: (found != NodeTypes.end() && \"Expected type to have been set!\"), function getType"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
{ switch { case let c(#^COMPLETE^# b) a
5 changes: 0 additions & 5 deletions validation-test/IDE/crashers/8fb80df278d76cd.swift

This file was deleted.

Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// {"kind":"complete","signature":"swift::Mangle::Mangler::verify(llvm::StringRef, swift::Mangle::ManglingFlavor)"}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
protocol a {
fileprivate associatedtype b
func c ->
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::rewriting::RewriteSystem::verifyRewriteRules(swift::rewriting::RewriteSystem::ValidityPolicy) const"}
// {"kind":"typecheck","signature":"swift::rewriting::RewriteSystem::verifyRewriteRules(swift::rewriting::RewriteSystem::ValidityPolicy) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a { associatedtype b : Collection }
struct c < d : Collection where d.Element : a,
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"checkDistributedTargetResultType(swift::ValueDecl*, swift::Type, bool)"}
// {"kind":"typecheck","signature":"checkDistributedTargetResultType(swift::ValueDecl*, swift::Type, bool)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
// REQUIRES: OS=macosx
import Distributed protocol a:DistributedActor{distributed actor:
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"getTypeForSymbolRange(swift::rewriting::Symbol const*, swift::rewriting::Symbol const*, llvm::ArrayRef<swift::GenericTypeParamType*>, swift::rewriting::PropertyMap const&)"}
// {"kind":"typecheck","signature":"getTypeForSymbolRange(swift::rewriting::Symbol const*, swift::rewriting::Symbol const*, llvm::ArrayRef<swift::GenericTypeParamType*>, swift::rewriting::PropertyMap const&)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
// REQUIRES: OS=macosx
import Combine extension Publishers.Share{a <b , c where Upstream == Publishers.FlatMap <b, c>{func a <c where Upstream == Publishers.FlatMap <b, c>, c.Output ==
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const"}
// {"kind":"typecheck","signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a {
typealias Index extension Collection where Self : a{b : Index} protocol a
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::GenericSignatureImpl::getReducedTypeParameter(swift::CanType) const"}
// {"kind":"typecheck","signature":"swift::GenericSignatureImpl::getReducedTypeParameter(swift::CanType) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
enum b : c protocol
a{typealias c : d.e struct d : a func c typealias e} typealias c : a
6 changes: 6 additions & 0 deletions validation-test/compiler_crashers_2/7c81010b54046136.swift
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::matchTypes(swift::Type, swift::Type, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
weak var a : b? a
class c
class b
weak var a: c?
6 changes: 0 additions & 6 deletions validation-test/compiler_crashers_2/7c811b5446136.swift

This file was deleted.

Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::DeclContext::getASTContext() const"}
// {"kind":"typecheck","signature":"swift::DeclContext::getASTContext() const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
@a({ struct b }
var c
3 changes: 3 additions & 0 deletions validation-test/compiler_crashers_2/c24f9fc9098e2886.swift
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
// {"kind":"typecheck","signature":"swift::PrintingDiagnosticConsumer::printDiagnostic(swift::SourceManager&, swift::DiagnosticInfo const&)"}
// RUN: not --crash %target-swift-frontend -typecheck -diagnostic-style=llvm %s
' '
3 changes: 0 additions & 3 deletions validation-test/compiler_crashers_2/c24f9fc998e2886.swift

This file was deleted.

Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getType(swift::ASTNode) const","signatureAssert":"Assertion failed: (hasType(node) && \"Expected type to have been set!\"), function getType"}
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getType(swift::ASTNode) const","signatureAssert":"Assertion failed: (found != NodeTypes.end() && \"Expected type to have been set!\"), function getType"}
// RUN: not --crash %target-swift-frontend -typecheck %s
@resultBuilder struct b {
static buildBlock enum c {
Expand Down
4 changes: 4 additions & 0 deletions validation-test/compiler_crashers_2/d2b0fe8a96146204.swift
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
// {"kind":"typecheck","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"}
// RUN: not --crash %target-swift-frontend -typecheck %s
class a class b class c protocol d {
associatedtype e where e : a, e : c, e : b
4 changes: 0 additions & 4 deletions validation-test/compiler_crashers_2/d2b0fe8a9614624.swift

This file was deleted.

3 changes: 3 additions & 0 deletions validation-test/compiler_crashers_2/e40b4406ca551533.swift
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::setType(swift::ASTNode, swift::Type, swift::constraints::PreparedOverloadBuilder*)","signatureAssert":"Assertion failed: (!node.isNull() && \"Cannot set type information on null node\"), function setType"}
// RUN: not --crash %target-swift-frontend -typecheck %s
@propertyWrapper struct a let() = {(@a)in
3 changes: 0 additions & 3 deletions validation-test/compiler_crashers_2/e4b446ca551533.swift

This file was deleted.