Commit Graph

434 Commits

Author SHA1 Message Date
practicalswift
3c5d2a81c2 [SourceKit] Add test case for crash triggered in swift::GenericTypeParamType::get(unsigned int, unsigned int, swift::ASTContext const&)
Stack trace:

```
found code completion token A at offset 169
5  swift-ide-test  0x0000000000aab4e6 swift::GenericTypeParamType::get(unsigned int, unsigned int, swift::ASTContext const&) + 54
9  swift-ide-test  0x000000000095bf6a swift::TypeChecker::checkConformance(swift::NormalProtocolConformance*) + 282
13 swift-ide-test  0x0000000000931ad7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
16 swift-ide-test  0x000000000097937a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
17 swift-ide-test  0x00000000009b157c swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
18 swift-ide-test  0x000000000091721b swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
20 swift-ide-test  0x00000000009794c6 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) + 134
21 swift-ide-test  0x0000000000900e5d swift::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) + 1117
34 swift-ide-test  0x0000000000ae0244 swift::Decl::walk(swift::ASTWalker&) + 20
35 swift-ide-test  0x0000000000b6aa8e swift::SourceFile::walk(swift::ASTWalker&) + 174
36 swift-ide-test  0x0000000000b69cbf swift::ModuleDecl::walk(swift::ASTWalker&) + 79
37 swift-ide-test  0x0000000000b43372 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
38 swift-ide-test  0x000000000085c43a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
39 swift-ide-test  0x000000000076b3e4 swift::CompilerInstance::performSema() + 3316
40 swift-ide-test  0x0000000000714b43 main + 33379
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl declaration 0x4933e30 at <INPUT-FILE>:3:1
2.	While type-checking expression at [<INPUT-FILE>:3:1 - line:5:7] RangeText="{protocol A{func b
}enum B:A{let s=b
let A{"
3.	While type-checking 'B' at <INPUT-FILE>:4:2
```
2015-12-28 17:41:20 +01:00
Dmitri Gribenko
569a80c0f3 Merge pull request #774 from practicalswift/sourcekit-061-swift-constraints-solution-coercetotype
[SourceKit] Add test case for crash triggered in swift::constraints::Solution::coerceToType(…)
2015-12-25 09:21:34 -08:00
practicalswift
eefd5cad0c [SourceKit] Add test case for crash triggered in swift::constraints::Solution::computeSubstitutions(swift::Type, swift::DeclContext*, swift::Type, swift::constraints::ConstraintLocator*, llvm::SmallVectorImpl<swift::Substitution>&) const
Stack trace:

```
found code completion token A at offset 167
swift-ide-test: /path/to/swift/lib/AST/Substitution.cpp:67: swift::Substitution::Substitution(swift::ArchetypeType *, swift::Type, ArrayRef<swift::ProtocolConformance *>): Assertion `Conformance.size() == Archetype->getConformsTo().size() && "substitution conformances don't match archetype"' failed.
9  swift-ide-test  0x00000000009ad85a swift::constraints::Solution::computeSubstitutions(swift::Type, swift::DeclContext*, swift::Type, swift::constraints::ConstraintLocator*, llvm::SmallVectorImpl<swift::Substitution>&) const + 1594
13 swift-ide-test  0x0000000000adfa45 swift::Expr::walk(swift::ASTWalker&) + 69
14 swift-ide-test  0x00000000009b1246 swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 502
15 swift-ide-test  0x000000000091701b swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
17 swift-ide-test  0x00000000009cd2e9 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) + 6649
18 swift-ide-test  0x00000000009d020e swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) + 4046
19 swift-ide-test  0x0000000000910b95 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 661
20 swift-ide-test  0x0000000000916fa9 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
21 swift-ide-test  0x00000000009180c0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
22 swift-ide-test  0x0000000000918269 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
27 swift-ide-test  0x00000000009318d7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
28 swift-ide-test  0x00000000008fd962 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
29 swift-ide-test  0x000000000076b1d2 swift::CompilerInstance::performSema() + 2946
30 swift-ide-test  0x0000000000714ad7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'A' at <INPUT-FILE>:3:1
2.	While type-checking expression at [<INPUT-FILE>:4:7 - line:4:7] RangeText="b"
3.	While type-checking expression at [<INPUT-FILE>:4:7 - line:4:7] RangeText="b"
```
2015-12-25 16:55:25 +01:00
practicalswift
63320abe46 [SourceKit] Add test case for crash triggered in llvm::llvm_unreachable_internal(char const*, char const*, unsigned int)
Stack trace:

```
found code completion token A at offset 224
Unhandled coercion
UNREACHABLE executed at /path/to/swift/lib/Sema/CSApply.cpp:4918!
6  swift-ide-test  0x0000000002a638ed llvm::llvm_unreachable_internal(char const*, char const*, unsigned int) + 461
8  swift-ide-test  0x00000000009b4ac6 swift::constraints::Solution::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocator*, bool) const + 326
10 swift-ide-test  0x00000000009170c6 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 854
11 swift-ide-test  0x00000000009180c0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
12 swift-ide-test  0x0000000000918269 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
14 swift-ide-test  0x000000000092cd04 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3940
19 swift-ide-test  0x0000000000b5563d swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 1117
21 swift-ide-test  0x000000000085c2e3 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 307
22 swift-ide-test  0x000000000076b344 swift::CompilerInstance::performSema() + 3316
23 swift-ide-test  0x0000000000714ad7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking expression at [<INPUT-FILE>:10:7 - line:10:7] RangeText="c"
```
2015-12-25 14:24:29 +01:00
practicalswift
a238922a54 [SourceKit] Add test case for crash triggered in swift::ConstructorDecl::getResultType() const
Stack trace:

```
found code completion token A at offset 127
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:237: typename cast_retty<X, Y *>::ret_type llvm::cast(Y *) [X = swift::AnyFunctionType, Y = swift::TypeBase]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
8  swift-ide-test  0x0000000000b40991 swift::ConstructorDecl::getResultType() const + 129
19 swift-ide-test  0x0000000000adfdf4 swift::Decl::walk(swift::ASTWalker&) + 20
20 swift-ide-test  0x0000000000b69ade swift::SourceFile::walk(swift::ASTWalker&) + 174
21 swift-ide-test  0x0000000000b68d0f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
22 swift-ide-test  0x0000000000b42e12 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
23 swift-ide-test  0x000000000085c23a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
24 swift-ide-test  0x000000000076b344 swift::CompilerInstance::performSema() + 3316
25 swift-ide-test  0x0000000000714ad7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl declaration 0x448df20 at <INPUT-FILE>:2:14
```
2015-12-25 11:30:15 +01:00
Chris Lattner
5d6c20b0b6 fix 058-swift-constraints-constraintsystem-diagnosefailureforexpr.swift
CSDiag's wasn't considering the case when an operator was invalid and had ErrorType.
2015-12-23 17:28:08 -08:00
Dmitri Gribenko
9ec295932c Merge pull request #747 from practicalswift/sourcekit-059-swift-iterativetypechecker-processinheritedprotocols
[SourceKit] Add test case for crash triggered in swift::IterativeTypeChecker::processInheritedProtocols(…)
2015-12-23 09:06:01 -08:00
practicalswift
b9957b3d78 [SourceKit] Add test case for crash triggered in swift::IterativeTypeChecker::processInheritedProtocols(swift::ProtocolDecl*, llvm::function_ref<bool (swift::TypeCheckRequest)>)
Stack trace:

```
found code completion token A at offset 182
swift-ide-test: /path/to/swift/include/swift/AST/Decl.h:3488: void swift::ProtocolDecl::setInheritedProtocols(ArrayRef<swift::ProtocolDecl *>): Assertion `!InheritedProtocolsSet && "protocols already set"' failed.
8  swift-ide-test  0x00000000009f0002 swift::IterativeTypeChecker::processInheritedProtocols(swift::ProtocolDecl*, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 1602
9  swift-ide-test  0x00000000009ee83d swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 493
10 swift-ide-test  0x00000000009289f0 swift::TypeChecker::resolveInheritedProtocols(swift::ProtocolDecl*) + 64
11 swift-ide-test  0x0000000000a92011 swift::ArchetypeBuilder::addConformanceRequirement(swift::ArchetypeBuilder::PotentialArchetype*, swift::ProtocolDecl*, swift::RequirementSource, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 225
14 swift-ide-test  0x0000000000a9392f swift::ArchetypeBuilder::visitInherited(llvm::ArrayRef<swift::TypeLoc>, llvm::function_ref<bool (swift::Type, swift::SourceLoc)>) + 175
15 swift-ide-test  0x0000000000a91d7b swift::ArchetypeBuilder::addAbstractTypeParamRequirements(swift::AbstractTypeParamDecl*, swift::ArchetypeBuilder::PotentialArchetype*, swift::RequirementSource::Kind, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 603
16 swift-ide-test  0x0000000000a91afc swift::ArchetypeBuilder::addGenericParameterRequirements(swift::GenericTypeParamDecl*) + 172
17 swift-ide-test  0x000000000094fe67 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 391
18 swift-ide-test  0x000000000095171f swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143
19 swift-ide-test  0x0000000000951ad4 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
20 swift-ide-test  0x000000000092c2b1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1153
21 swift-ide-test  0x0000000000b75afc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
22 swift-ide-test  0x00000000009548ba swift::TypeChecker::lookupMemberType(swift::DeclContext*, swift::Type, swift::Identifier, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 282
24 swift-ide-test  0x000000000097daee swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
26 swift-ide-test  0x000000000097d9e4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
27 swift-ide-test  0x0000000000929e21 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
28 swift-ide-test  0x000000000094fe55 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 373
30 swift-ide-test  0x000000000095027c swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) + 124
33 swift-ide-test  0x000000000092c150 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 800
34 swift-ide-test  0x0000000000b75afc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
35 swift-ide-test  0x00000000009548ba swift::TypeChecker::lookupMemberType(swift::DeclContext*, swift::Type, swift::Identifier, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 282
37 swift-ide-test  0x000000000097daee swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
39 swift-ide-test  0x000000000097d9e4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
40 swift-ide-test  0x00000000009ef5b2 swift::IterativeTypeChecker::processResolveInheritedClauseEntry(std::pair<llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>, unsigned int>, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 146
41 swift-ide-test  0x00000000009ee83d swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 493
42 swift-ide-test  0x00000000009ee9c9 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 889
43 swift-ide-test  0x00000000009289f0 swift::TypeChecker::resolveInheritedProtocols(swift::ProtocolDecl*) + 64
44 swift-ide-test  0x0000000000a92011 swift::ArchetypeBuilder::addConformanceRequirement(swift::ArchetypeBuilder::PotentialArchetype*, swift::ProtocolDecl*, swift::RequirementSource, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 225
47 swift-ide-test  0x0000000000a9392f swift::ArchetypeBuilder::visitInherited(llvm::ArrayRef<swift::TypeLoc>, llvm::function_ref<bool (swift::Type, swift::SourceLoc)>) + 175
48 swift-ide-test  0x0000000000a91d7b swift::ArchetypeBuilder::addAbstractTypeParamRequirements(swift::AbstractTypeParamDecl*, swift::ArchetypeBuilder::PotentialArchetype*, swift::RequirementSource::Kind, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 603
49 swift-ide-test  0x0000000000a91afc swift::ArchetypeBuilder::addGenericParameterRequirements(swift::GenericTypeParamDecl*) + 172
50 swift-ide-test  0x000000000094fe67 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 391
51 swift-ide-test  0x000000000095171f swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143
52 swift-ide-test  0x0000000000951ad4 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
53 swift-ide-test  0x000000000092c2b1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1153
56 swift-ide-test  0x0000000000931967 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
57 swift-ide-test  0x00000000008fd9f2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
58 swift-ide-test  0x000000000076b262 swift::CompilerInstance::performSema() + 2946
59 swift-ide-test  0x0000000000714b67 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'e' at <INPUT-FILE>:3:1
2.	While resolving type A.a at [<INPUT-FILE>:3:12 - line:3:14] RangeText="A.a"
3.	While type-checking 'a' at <INPUT-FILE>:6:1
4.	While resolving type A.c at [<INPUT-FILE>:6:10 - line:6:12] RangeText="A.c"
```
2015-12-23 12:20:54 +01:00
practicalswift
8281cf1004 [SourceKit] Add test case for crash triggered in swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*)
Stack trace:

```
found code completion token A at offset 151
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:237: typename cast_retty<X, Y *>::ret_type llvm::cast(Y *) [X = swift::AnyFunctionType, Y = swift::TypeBase]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
14 swift-ide-test  0x00000000009cba28 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) + 104
15 swift-ide-test  0x00000000009d02de swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) + 4046
16 swift-ide-test  0x0000000000910c25 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 661
17 swift-ide-test  0x0000000000917039 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
18 swift-ide-test  0x0000000000918150 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
19 swift-ide-test  0x00000000009182f9 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
24 swift-ide-test  0x0000000000931967 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
25 swift-ide-test  0x00000000008fd9f2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
26 swift-ide-test  0x000000000076b262 swift::CompilerInstance::performSema() + 2946
27 swift-ide-test  0x0000000000714b67 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'T' at <INPUT-FILE>:2:1
2.	While type-checking expression at [<INPUT-FILE>:2:15 - line:2:26] RangeText="Dictionary<T"
```
2015-12-23 09:36:18 +01:00
Chris Lattner
1a090b0c04 This test got fixed along the way. 2015-12-22 20:21:12 -08:00
practicalswift
6780250fa0 [SourceKit] Add test case for crash triggered in swift::ValueDecl::setType(swift::Type)
Stack trace:

```
found code completion token A at offset 175
swift-ide-test: /path/to/swift/lib/AST/Decl.cpp:1730: void swift::ValueDecl::setType(swift::Type): Assertion `!hasType() && "changing type of declaration"' failed.
8  swift-ide-test  0x0000000000b3695c swift::ValueDecl::setType(swift::Type) + 92
11 swift-ide-test  0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
12 swift-ide-test  0x00000000009915b7 swift::TypeChecker::addImplicitDestructor(swift::ClassDecl*) + 311
17 swift-ide-test  0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
20 swift-ide-test  0x0000000000978b9a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
21 swift-ide-test  0x00000000009b0cfc swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
22 swift-ide-test  0x00000000009169fb swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
23 swift-ide-test  0x0000000000917aa0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
24 swift-ide-test  0x0000000000917c49 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
26 swift-ide-test  0x000000000092c6e4 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3940
27 swift-ide-test  0x0000000000b750fc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
28 swift-ide-test  0x0000000000b73aec swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2252
29 swift-ide-test  0x000000000095355b swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
32 swift-ide-test  0x000000000097d43e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
34 swift-ide-test  0x000000000097d334 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
35 swift-ide-test  0x0000000000929771 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
36 swift-ide-test  0x000000000094f7a5 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 373
37 swift-ide-test  0x000000000095106f swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143
38 swift-ide-test  0x0000000000951424 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
39 swift-ide-test  0x000000000092b8e1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 353
44 swift-ide-test  0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
45 swift-ide-test  0x00000000008fe9b2 swift::typeCheckCompletionDecl(swift::Decl*) + 1122
49 swift-ide-test  0x000000000085c263 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 307
50 swift-ide-test  0x000000000076b1e4 swift::CompilerInstance::performSema() + 3316
51 swift-ide-test  0x0000000000714977 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'd' at <INPUT-FILE>:3:28
2.	While resolving type a at [<INPUT-FILE>:3:48 - line:3:48] RangeText="a"
3.	While type-checking expression at [<INPUT-FILE>:3:27 - line:3:50] RangeText="{class d:a{class B<b:a{"
4.	While type-checking 'd' at <INPUT-FILE>:3:28
5.	While type-checking 'deinit' at <INPUT-FILE>:3:44
```
2015-12-22 22:05:50 +01:00
Dmitri Gribenko
0dd03ba5c5 Merge pull request #720 from practicalswift/sourcekit-056-swift-archetypebuilder-getallarchetypes
[SourceKit] Add test case for crash triggered in swift::ArchetypeBuilder::getAllArchetypes()
2015-12-22 00:02:28 -08:00
practicalswift
e8d48e4b6c [SourceKit] Add test case for crash triggered in swift::ArchetypeBuilder::getAllArchetypes()
Stack trace:

```
found code completion token A at offset 229
swift-ide-test: /path/to/swift/include/swift/AST/Types.h:3582: swift::ArchetypeType *swift::ArchetypeType::NestedType::castToArchetype() const: Assertion `!isConcreteType()' failed.
8  swift-ide-test  0x0000000000a94424 swift::ArchetypeBuilder::getAllArchetypes() + 564
12 swift-ide-test  0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
15 swift-ide-test  0x00000000009777db swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
16 swift-ide-test  0x000000000097761e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
17 swift-ide-test  0x0000000000900278 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
21 swift-ide-test  0x0000000000adf4d4 swift::Decl::walk(swift::ASTWalker&) + 20
22 swift-ide-test  0x0000000000b6918e swift::SourceFile::walk(swift::ASTWalker&) + 174
23 swift-ide-test  0x0000000000b683bf swift::ModuleDecl::walk(swift::ASTWalker&) + 79
24 swift-ide-test  0x0000000000b42522 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
25 swift-ide-test  0x000000000085c1ba swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
26 swift-ide-test  0x000000000076b1e4 swift::CompilerInstance::performSema() + 3316
27 swift-ide-test  0x0000000000714977 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl getter for e at <INPUT-FILE>:3:6
2.	While type-checking 'b' at <INPUT-FILE>:8:10
```
2015-12-22 08:47:29 +01:00
Dmitri Gribenko
d0a60f5f62 Merge pull request #611 from practicalswift/sourcekit-035-swift-typechecker-validatedecl
[SourceKit] Add test case for crash triggered in swift::TypeChecker::validateDecl(…)
2015-12-21 22:52:13 -08:00
Dmitri Gribenko
7eb30fc7b9 Merge pull request #712 from practicalswift/sourcekit-055-swift-valuedecl-getoverloadsignature
[SourceKit] Add test case for crash triggered in swift::ValueDecl::getOverloadSignature()
2015-12-21 22:51:50 -08:00
Dmitri Gribenko
48aa4a1eba Re-enable validation-test/IDE/crashers/029-swift-decl-walk.swift 2015-12-21 22:21:04 -07:00
practicalswift
1725b49d9a [SourceKit] Add test case for crash triggered in swift::ValueDecl::getOverloadSignature() const
Stack trace:

```
found code completion token A at offset 160
swift-ide-test: /path/to/swift/lib/AST/Decl.cpp:1769: swift::Type swift::ValueDecl::getInterfaceType() const: Assertion `(type.isNull() || !type->is<PolymorphicFunctionType>()) && "decl has polymorphic function type but no interface type"' failed.
9  swift-ide-test  0x0000000000b381ae swift::ValueDecl::getOverloadSignature() const + 398
13 swift-ide-test  0x0000000000931af7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
14 swift-ide-test  0x00000000008ff1f2 swift::typeCheckCompletionDecl(swift::Decl*) + 1122
19 swift-ide-test  0x0000000000ae1e34 swift::Decl::walk(swift::ASTWalker&) + 20
20 swift-ide-test  0x0000000000b6baee swift::SourceFile::walk(swift::ASTWalker&) + 174
21 swift-ide-test  0x0000000000b6ad1f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
22 swift-ide-test  0x0000000000b44e82 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
23 swift-ide-test  0x000000000085c9fa swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
24 swift-ide-test  0x000000000076ba24 swift::CompilerInstance::performSema() + 3316
25 swift-ide-test  0x00000000007151b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl getter for a at <INPUT-FILE>:2:6
2.	While type-checking 'B' at <INPUT-FILE>:5:1
```
2015-12-21 20:24:04 +01:00
Dmitri Gribenko
25dd312219 Merge pull request #702 from practicalswift/sourcekit-054-swift-moduledecl-forallvisiblemodules
[SourceKit] Add test case for crash triggered in swift::ModuleDecl::forAllVisibleModules(…)
2015-12-21 00:01:11 -08:00
practicalswift
c0a40dbcd8 [SourceKit] Add test case for crash triggered in swift::ModuleDecl::forAllVisibleModules(llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, bool, llvm::function_ref<bool (std::pair<llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>)
Stack trace:

```
found code completion token A at offset 150
6  swift-ide-test  0x0000000000b6a8cd swift::ModuleDecl::forAllVisibleModules(llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, bool, llvm::function_ref<bool (std::pair<llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>) + 477
7  swift-ide-test  0x0000000000b6aa41 swift::FileUnit::forAllVisibleModules(llvm::function_ref<bool (std::pair<llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>) + 81
8  swift-ide-test  0x00000000008fdc00 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1376
9  swift-ide-test  0x000000000076b8b2 swift::CompilerInstance::performSema() + 2946
10 swift-ide-test  0x00000000007151b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
```
2015-12-21 08:56:15 +01:00
Dmitri Gribenko
30cc5ca178 Merge pull request #700 from practicalswift/sourcekit-053-swift-typebase-getsuperclass
[SourceKit] Add test case for crash triggered in swift::TypeBase::getSuperclass(…)
2015-12-20 23:42:48 -08:00
practicalswift
f54663fb46 [SourceKit] Add test case for crash triggered in swift::TypeBase::getSuperclass(swift::LazyResolver*)
Stack trace:

```
found code completion token A at offset 163
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:237: typename cast_retty<X, Y *>::ret_type llvm::cast(Y *) [X = swift::BoundGenericType, Y = swift::TypeBase]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
8  swift-ide-test  0x0000000000b8e399 swift::TypeBase::getSuperclass(swift::LazyResolver*) + 857
9  swift-ide-test  0x0000000000937c11 swift::TypeChecker::defineDefaultConstructor(swift::NominalTypeDecl*) + 113
10 swift-ide-test  0x0000000000936e44 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1332
11 swift-ide-test  0x000000000092a3dc swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 5996
12 swift-ide-test  0x000000000092c68a swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1738
13 swift-ide-test  0x0000000000b763bc swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2108
14 swift-ide-test  0x0000000000953d9b swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
17 swift-ide-test  0x000000000097dc7e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
19 swift-ide-test  0x000000000097db74 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
20 swift-ide-test  0x0000000000929fb1 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
21 swift-ide-test  0x000000000092c68a swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1738
24 swift-ide-test  0x0000000000931af7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
27 swift-ide-test  0x000000000097801b swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
28 swift-ide-test  0x0000000000977e5e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
29 swift-ide-test  0x0000000000900ab8 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
47 swift-ide-test  0x0000000000ae1e34 swift::Decl::walk(swift::ASTWalker&) + 20
48 swift-ide-test  0x0000000000b6baee swift::SourceFile::walk(swift::ASTWalker&) + 174
49 swift-ide-test  0x0000000000b6ad1f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
50 swift-ide-test  0x0000000000b44e82 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
51 swift-ide-test  0x000000000085c9fa swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
52 swift-ide-test  0x000000000076ba24 swift::CompilerInstance::performSema() + 3316
53 swift-ide-test  0x00000000007151b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl declaration 0x5f070c0 at <INPUT-FILE>:2:1
2.	While type-checking 'a' at <INPUT-FILE>:2:50
3.	While resolving type c at [<INPUT-FILE>:2:58 - line:2:58] RangeText="c"
4.	While defining default constructor for 'd' at <INPUT-FILE>:2:24
```
2015-12-21 08:39:25 +01:00
practicalswift
dbcc6eeb1c [SourceKit] Add test case for crash triggered in swift::Mangle::Mangler::mangleGenericSignatureParts(llvm::ArrayRef<swift::GenericTypeParamType*>, unsigned int, llvm::ArrayRef<swift::Requirement>, swift::ResilienceExpansion)
Stack trace:

```
found code completion token A at offset 202
swift-ide-test: /path/to/swift/lib/AST/Mangle.cpp:731: void swift::Mangle::Mangler::mangleGenericSignatureParts(ArrayRef<swift::GenericTypeParamType *>, unsigned int, ArrayRef<swift::Requirement>, swift::ResilienceExpansion): Assertion `param->getDepth() > depth && "generic params not ordered"' failed.
8  swift-ide-test  0x0000000000b609bd swift::Mangle::Mangler::mangleGenericSignatureParts(llvm::ArrayRef<swift::GenericTypeParamType*>, unsigned int, llvm::ArrayRef<swift::Requirement>, swift::ResilienceExpansion) + 1053
9  swift-ide-test  0x0000000000b5ff45 swift::Mangle::Mangler::mangleDeclType(swift::ValueDecl const*, swift::ResilienceExpansion, unsigned int) + 213
10 swift-ide-test  0x0000000000b9b67f swift::ide::printDeclUSR(swift::ValueDecl const*, llvm::raw_ostream&) + 815
12 swift-ide-test  0x0000000000773918 copyAssociatedUSRs(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&, swift::Decl const*) + 104
13 swift-ide-test  0x0000000000774098 swift::ide::CodeCompletionResultBuilder::takeResult() + 1624
17 swift-ide-test  0x0000000000b574bb swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 555
22 swift-ide-test  0x0000000000ae1e34 swift::Decl::walk(swift::ASTWalker&) + 20
23 swift-ide-test  0x0000000000b6baee swift::SourceFile::walk(swift::ASTWalker&) + 174
24 swift-ide-test  0x0000000000b6ad1f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
25 swift-ide-test  0x0000000000b44e82 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
26 swift-ide-test  0x000000000085c9fa swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
27 swift-ide-test  0x000000000076ba24 swift::CompilerInstance::performSema() + 3316
28 swift-ide-test  0x00000000007151b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl getter for b at <INPUT-FILE>:3:6
```
2015-12-21 07:41:31 +01:00
Dmitri Gribenko
6171db8d3d Merge pull request #689 from practicalswift/sourcekit-051-swift-mangle-mangler-mangleassociatedtypename
[SourceKit] Add test case for crash triggered in swift::Mangle::Mangler::mangleAssociatedTypeName(…)
2015-12-20 15:11:35 -08:00
Dmitri Gribenko
8c627caae7 Merge pull request #687 from practicalswift/re-add-sourcekit-bug-024-as-crash
Re-add SourceKit crash previously marked as fixed
2015-12-20 15:11:21 -08:00
practicalswift
973740ecf5 [SourceKit] Add test case for crash triggered in swift::Mangle::Mangler::mangleAssociatedTypeName(swift::DependentMemberType*, bool)
Stack trace:

```
found code completion token A at offset 167
4  swift-ide-test  0x0000000000b6105e swift::Mangle::Mangler::mangleAssociatedTypeName(swift::DependentMemberType*, bool) + 174
5  swift-ide-test  0x0000000000b5ecb2 swift::Mangle::Mangler::mangleType(swift::Type, swift::ResilienceExpansion, unsigned int) + 3346
6  swift-ide-test  0x0000000000b6027e swift::Mangle::Mangler::mangleDeclType(swift::ValueDecl const*, swift::ResilienceExpansion, unsigned int) + 238
7  swift-ide-test  0x0000000000b5cf10 swift::Mangle::Mangler::mangleNominalType(swift::NominalTypeDecl const*, swift::ResilienceExpansion, swift::Mangle::Mangler::BindGenerics, swift::CanGenericSignature, swift::GenericParamList const*) + 256
8  swift-ide-test  0x0000000000b9b942 swift::ide::printDeclUSR(swift::ValueDecl const*, llvm::raw_ostream&) + 722
10 swift-ide-test  0x0000000000773a18 copyAssociatedUSRs(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&, swift::Decl const*) + 104
11 swift-ide-test  0x0000000000774198 swift::ide::CodeCompletionResultBuilder::takeResult() + 1624
14 swift-ide-test  0x0000000000b577db swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 555
18 swift-ide-test  0x0000000000ae2154 swift::Decl::walk(swift::ASTWalker&) + 20
19 swift-ide-test  0x0000000000b6be0e swift::SourceFile::walk(swift::ASTWalker&) + 174
20 swift-ide-test  0x0000000000b6b03f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
21 swift-ide-test  0x0000000000b451a2 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
22 swift-ide-test  0x000000000085cd1a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
23 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
24 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl getter for b at <INPUT-FILE>:3:6
```
2015-12-20 22:08:30 +01:00
practicalswift
86268ab98f Re-added case marked as crashed.
Reliably crashes swift-ide-test compiled from current master.

See discussion in #607 and previously #587.
2015-12-20 16:05:02 +01:00
practicalswift
ec90c5d875 [SourceKit] Add test case for crash triggered in llvm::llvm_unreachable_internal(char const*, char const*, unsigned int)
Stack trace:

```
found code completion token A at offset 158
Polymorphic function type should have been opened
UNREACHABLE executed at /path/to/swift/lib/Sema/CSSimplify.cpp:1524!
6  swift-ide-test  0x0000000002a6564d llvm::llvm_unreachable_internal(char const*, char const*, unsigned int) + 461
7  swift-ide-test  0x00000000008d8cde swift::constraints::ConstraintSystem::matchTypes(swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 15374
8  swift-ide-test  0x00000000008e1a9f swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 639
9  swift-ide-test  0x00000000009a5f67 swift::constraints::ConstraintSystem::addConstraint(swift::constraints::Constraint*, bool, bool) + 23
10 swift-ide-test  0x0000000000919983 swift::TypeChecker::typesSatisfyConstraint(swift::Type, swift::Type, swift::constraints::ConstraintKind, swift::DeclContext*) + 131
11 swift-ide-test  0x00000000008ff59b swift::isConvertibleTo(swift::Type, swift::Type, swift::DeclContext*) + 75
13 swift-ide-test  0x000000000077406c swift::ide::CodeCompletionResultBuilder::takeResult() + 1324
17 swift-ide-test  0x0000000000b576c6 swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 278
28 swift-ide-test  0x0000000000ae2154 swift::Decl::walk(swift::ASTWalker&) + 20
29 swift-ide-test  0x0000000000b6be0e swift::SourceFile::walk(swift::ASTWalker&) + 174
30 swift-ide-test  0x0000000000b6b03f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
31 swift-ide-test  0x0000000000b451a2 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
32 swift-ide-test  0x000000000085cd1a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
33 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
34 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl declaration 0x5d810b0 at <INPUT-FILE>:3:1
```
2015-12-20 13:53:47 +01:00
Dmitri Gribenko
430a324edd Revert "Add crash case (see #587) for fixed bug to crashers_fixed/" 2015-12-20 03:44:22 -08:00
practicalswift
92c3aea6ee [SourceKit] Add test case for crash triggered in swift::TypeChecker::resolveWitness(swift::NormalProtocolConformance const*, swift::ValueDecl*)
Stack trace:

```
found code completion token A at offset 158
swift-ide-test: /path/to/swift/lib/Sema/CSApply.cpp:148: swift::Type swift::constraints::Solution::computeSubstitutions(swift::Type, swift::DeclContext *, swift::Type, swift::constraints::ConstraintLocator *, SmallVectorImpl<swift::Substitution> &) const: Assertion `(conforms || firstArchetype->getIsRecursive() || isOpenedAnyObject(replacement) || replacement->is<GenericTypeParamType>()) && "Constraint system missed a conformance?"' failed.
13 swift-ide-test  0x000000000095ce72 swift::TypeChecker::resolveWitness(swift::NormalProtocolConformance const*, swift::ValueDecl*) + 658
14 swift-ide-test  0x0000000000b8268b swift::NormalProtocolConformance::getWitness(swift::ValueDecl*, swift::LazyResolver*) const + 171
15 swift-ide-test  0x0000000000bbb60b swift::ConformanceLookupTable::getSatisfiedProtocolRequirementsForMember(swift::ValueDecl const*, swift::NominalTypeDecl*, swift::LazyResolver*, bool) + 651
16 swift-ide-test  0x0000000000b39565 swift::ValueDecl::getSatisfiedProtocolRequirements(bool) const + 85
17 swift-ide-test  0x00000000007b8dfa swift::ide::walkOverriddenDecls(swift::ValueDecl const*, std::function<void (llvm::PointerUnion<swift::ValueDecl const*, clang::NamedDecl const*>)>) + 138
18 swift-ide-test  0x0000000000773a56 copyAssociatedUSRs(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&, swift::Decl const*) + 166
19 swift-ide-test  0x0000000000774198 swift::ide::CodeCompletionResultBuilder::takeResult() + 1624
23 swift-ide-test  0x0000000000b57a0d swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 1117
32 swift-ide-test  0x0000000000ae2154 swift::Decl::walk(swift::ASTWalker&) + 20
33 swift-ide-test  0x0000000000b6be0e swift::SourceFile::walk(swift::ASTWalker&) + 174
34 swift-ide-test  0x0000000000b6b03f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
35 swift-ide-test  0x0000000000b451a2 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
36 swift-ide-test  0x000000000085cd1a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
37 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
38 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl 'A' at <INPUT-FILE>:3:1
```
2015-12-20 12:22:20 +01:00
Dmitri Gribenko
9eef2fb018 Merge pull request #607 from practicalswift/add-ide-crash-024-as-fixed
Add crash case (see #587) for fixed bug to crashers_fixed/
2015-12-20 00:44:17 -08:00
Dmitri Gribenko
4a0ad9f557 Merge pull request #676 from practicalswift/sourcekit-048-swift-completegenerictyperesolver-resolvedependentmembertype
[SourceKit] Add test case for crash triggered in swift::CompleteGenericTypeResolver::resolveDependentMemberType(…)
2015-12-19 16:27:42 -08:00
practicalswift
c62b1a4ed8 [SourceKit] Add test case for crash triggered in swift::CompleteGenericTypeResolver::resolveDependentMemberType(swift::Type, swift::DeclContext*, swift::SourceRange, swift::ComponentIdentTypeRepr*)
Stack trace:

```
found code completion token A at offset 161
swift-ide-test: /path/to/swift/lib/Sema/TypeCheckGeneric.cpp:152: virtual swift::Type swift::CompleteGenericTypeResolver::resolveDependentMemberType(swift::Type, swift::DeclContext *, swift::SourceRange, swift::ComponentIdentTypeRepr *): Assertion `basePA && "Missing potential archetype for base"' failed.
8  swift-ide-test  0x0000000000950114 swift::CompleteGenericTypeResolver::resolveDependentMemberType(swift::Type, swift::DeclContext*, swift::SourceRange, swift::ComponentIdentTypeRepr*) + 708
10 swift-ide-test  0x000000000097e0ce swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
12 swift-ide-test  0x000000000097dfc4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
13 swift-ide-test  0x000000000095054b swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 715
14 swift-ide-test  0x0000000000951d30 swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 256
15 swift-ide-test  0x0000000000952074 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
16 swift-ide-test  0x000000000092c4c1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 353
19 swift-ide-test  0x0000000000931ec7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
22 swift-ide-test  0x000000000097842b swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
23 swift-ide-test  0x000000000097826e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
24 swift-ide-test  0x0000000000900e28 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
29 swift-ide-test  0x0000000000ae1df4 swift::Decl::walk(swift::ASTWalker&) + 20
30 swift-ide-test  0x0000000000b6baae swift::SourceFile::walk(swift::ASTWalker&) + 174
31 swift-ide-test  0x0000000000b6acdf swift::ModuleDecl::walk(swift::ASTWalker&) + 79
32 swift-ide-test  0x0000000000b44e42 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
33 swift-ide-test  0x000000000085cd6a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
34 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
35 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl getter for b at <INPUT-FILE>:2:6
2.	While type-checking 'c' at <INPUT-FILE>:2:34
3.	While resolving type T.h at [<INPUT-FILE>:2:51 - line:2:53] RangeText="T.h"
```
2015-12-20 01:19:04 +01:00
Dmitri Gribenko
bfe8cc24be Merge pull request #665 from practicalswift/sourcekit-046-swift-typechecker-typecheckdecl
[SourceKit] Add test case for crash triggered in swift::TypeChecker::typeCheckDecl(…)
2015-12-19 16:03:50 -08:00
Dmitri Gribenko
98e09dcffd Merge pull request #672 from practicalswift/sourcekit-047-swift-typechecker-typechecktoplevelcodedecl
[SourceKit] Add test case for crash triggered in swift::TypeChecker::typeCheckTopLevelCodeDecl(…)
2015-12-19 15:22:10 -08:00
practicalswift
d32e8246d9 [SourceKit] Add test case for crash triggered in swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*)
Stack trace:

```
found code completion token A at offset 139
5  swift-ide-test  0x0000000000979936 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) + 134
6  swift-ide-test  0x00000000009012cd swift::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) + 1117
9  swift-ide-test  0x000000000085ce13 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 307
10 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
11 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
```
2015-12-19 21:51:06 +01:00
practicalswift
fb80a393eb [SourceKit] Add test case for crash triggered in swift::TypeChecker::typeCheckDecl(swift::Decl*, bool)
Stack trace:

```
found code completion token A at offset 162
swift-ide-test: /path/to/swift/lib/Sema/TypeCheckDecl.cpp:4062: void (anonymous namespace)::DeclChecker::visitFuncDecl(swift::FuncDecl *): Assertion `!FD->getType()->hasTypeParameter()' failed.
10 swift-ide-test  0x0000000000931ec7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
11 swift-ide-test  0x000000000098a9f3 swift::convertStoredVarInProtocolToComputed(swift::VarDecl*, swift::TypeChecker&) + 115
16 swift-ide-test  0x0000000000931ec7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
19 swift-ide-test  0x000000000097842b swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
20 swift-ide-test  0x000000000097826e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
21 swift-ide-test  0x0000000000900e28 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
26 swift-ide-test  0x0000000000ae1df4 swift::Decl::walk(swift::ASTWalker&) + 20
27 swift-ide-test  0x0000000000b6baae swift::SourceFile::walk(swift::ASTWalker&) + 174
28 swift-ide-test  0x0000000000b6acdf swift::ModuleDecl::walk(swift::ASTWalker&) + 79
29 swift-ide-test  0x0000000000b44e42 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
30 swift-ide-test  0x000000000085cd6a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
31 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
32 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl getter for a at <INPUT-FILE>:3:6
2.	While type-checking 'P' at <INPUT-FILE>:3:18
3.	While type-checking getter for t at <INPUT-FILE>:3:33
```
2015-12-19 17:48:22 +01:00
Dmitri Gribenko
a28d2e914c Merge pull request #663 from practicalswift/sourcekit-045-swift-protocoldecl-requiresclassslow
[SourceKit] Add test case for crash triggered in swift::ProtocolDecl::requiresClassSlow()
2015-12-19 04:55:55 -08:00
practicalswift
05d3074280 [SourceKit] Add test case for crash triggered in swift::ProtocolDecl::requiresClassSlow()
Stack trace:

```
found code completion token A at offset 224
swift-ide-test: /path/to/swift/lib/AST/Decl.cpp:2476: bool swift::ProtocolDecl::requiresClassSlow(): Assertion `isInheritedProtocolsValid() || isBeingTypeChecked()' failed.
8  swift-ide-test  0x0000000000b3be03 swift::ProtocolDecl::requiresClassSlow() + 403
9  swift-ide-test  0x0000000000b89562 swift::CanType::isReferenceTypeImpl(swift::CanType, bool) + 290
11 swift-ide-test  0x000000000092c150 swift::configureImplicitSelf(swift::TypeChecker&, swift::AbstractFunctionDecl*) + 160
14 swift-ide-test  0x000000000092c680 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 800
15 swift-ide-test  0x0000000000b77a1c swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
16 swift-ide-test  0x0000000000b7640c swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2252
17 swift-ide-test  0x00000000009541ab swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
20 swift-ide-test  0x000000000097e0ce swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
22 swift-ide-test  0x000000000097dfc4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
23 swift-ide-test  0x00000000009ef4e2 swift::IterativeTypeChecker::processResolveInheritedClauseEntry(std::pair<llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>, unsigned int>, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 146
24 swift-ide-test  0x00000000009eede7 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 359
25 swift-ide-test  0x0000000000928fc9 swift::TypeChecker::resolveInheritanceClause(llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>) + 137
26 swift-ide-test  0x000000000092c793 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1075
27 swift-ide-test  0x0000000000b7637c swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2108
28 swift-ide-test  0x00000000009541ab swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
31 swift-ide-test  0x000000000097e0ce swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
33 swift-ide-test  0x000000000097dfc4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
34 swift-ide-test  0x000000000092a351 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
35 swift-ide-test  0x00000000009503f5 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 373
37 swift-ide-test  0x000000000095081c swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) + 124
42 swift-ide-test  0x0000000000931ec7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
43 swift-ide-test  0x00000000008ff562 swift::typeCheckCompletionDecl(swift::Decl*) + 1122
46 swift-ide-test  0x000000000085ce13 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 307
47 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
48 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'P' at <INPUT-FILE>:6:47
2.	While resolving type o at [<INPUT-FILE>:8:4 - line:8:4] RangeText="o"
3.	While resolving type a at [<INPUT-FILE>:6:35 - line:6:35] RangeText="a"
4.	While type-checking 'a' at <INPUT-FILE>:5:1
```
2015-12-19 13:43:14 +01:00
Dmitri Gribenko
aa951aad64 Merge pull request #661 from practicalswift/sourcekit-044-swift-dependentgenerictyperesolver-resolveselfassociatedtype
[SourceKit] Add test case for crash triggered in swift::DependentGenericTypeResolver::resolveSelfAssociatedType(…)
2015-12-19 04:19:27 -08:00
practicalswift
f0dba29ca8 [SourceKit] Add test case for crash triggered in swift::DependentGenericTypeResolver::resolveSelfAssociatedType(swift::Type, swift::DeclContext*, swift::AssociatedTypeDecl*)
Stack trace:

```
found code completion token A at offset 167
swift-ide-test: /path/to/swift/lib/Sema/TypeCheckGeneric.cpp:46: virtual swift::Type swift::DependentGenericTypeResolver::resolveSelfAssociatedType(swift::Type, swift::DeclContext *, swift::AssociatedTypeDecl *): Assertion `archetype && "Bad generic context nesting?"' failed.
8  swift-ide-test  0x000000000094fc1d swift::DependentGenericTypeResolver::resolveSelfAssociatedType(swift::Type, swift::DeclContext*, swift::AssociatedTypeDecl*) + 125
9  swift-ide-test  0x000000000097d53c swift::TypeChecker::resolveTypeInContext(swift::TypeDecl*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 796
13 swift-ide-test  0x000000000097e0ce swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
15 swift-ide-test  0x000000000097dfc4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
16 swift-ide-test  0x000000000092a351 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
17 swift-ide-test  0x00000000009503f5 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 373
19 swift-ide-test  0x000000000095081c swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) + 124
22 swift-ide-test  0x000000000092c680 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 800
23 swift-ide-test  0x0000000000b77a1c swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
24 swift-ide-test  0x0000000000b7640c swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2252
25 swift-ide-test  0x00000000009541ab swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
28 swift-ide-test  0x000000000097e0ce swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
30 swift-ide-test  0x000000000097dfc4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
31 swift-ide-test  0x00000000009ef4e2 swift::IterativeTypeChecker::processResolveInheritedClauseEntry(std::pair<llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>, unsigned int>, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 146
32 swift-ide-test  0x00000000009eede7 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 359
33 swift-ide-test  0x0000000000928fc9 swift::TypeChecker::resolveInheritanceClause(llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>) + 137
34 swift-ide-test  0x000000000092c793 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1075
35 swift-ide-test  0x000000000092c420 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 192
36 swift-ide-test  0x000000000092c105 swift::configureImplicitSelf(swift::TypeChecker&, swift::AbstractFunctionDecl*) + 85
37 swift-ide-test  0x000000000092cfec swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3212
39 swift-ide-test  0x0000000000b57578 swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 808
50 swift-ide-test  0x0000000000ae1df4 swift::Decl::walk(swift::ASTWalker&) + 20
51 swift-ide-test  0x0000000000b6baae swift::SourceFile::walk(swift::ASTWalker&) + 174
52 swift-ide-test  0x0000000000b6acdf swift::ModuleDecl::walk(swift::ASTWalker&) + 79
53 swift-ide-test  0x0000000000b44e42 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
54 swift-ide-test  0x000000000085cd6a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
55 swift-ide-test  0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
56 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl 'A' at <INPUT-FILE>:2:1
2.	While resolving type a at [<INPUT-FILE>:3:13 - line:3:13] RangeText="a"
3.	While type-checking 'a' at <INPUT-FILE>:4:1
4.	While resolving type e at [<INPUT-FILE>:4:10 - line:4:10] RangeText="e"
```
2015-12-19 13:07:13 +01:00
Dmitri Gribenko
68d6f4b653 Merge pull request #659 from practicalswift/sourcekit-043-swift-boundgenerictype-getsubstitutions
[SourceKit] Add test case for crash triggered in swift::BoundGenericType::getSubstitutions(…)
2015-12-19 04:03:50 -08:00
Dmitri Gribenko
8e40637024 Merge pull request #658 from practicalswift/remove-incorrect-requires-asserts-annotation
Remove incorrect "REQUIRES: asserts" annotation.
2015-12-19 04:03:25 -08:00
practicalswift
60c4e33a78 [SourceKit] Add test case for crash triggered in swift::BoundGenericType::getSubstitutions(swift::ModuleDecl*, swift::LazyResolver*, swift::DeclContext*)
Stack trace:

```
found code completion token A at offset 115
swift-ide-test: /path/to/llvm/include/llvm/ADT/ArrayRef.h:297: T &llvm::MutableArrayRef<swift::GenericTypeParamDecl *>::operator[](size_t) const [T = swift::GenericTypeParamDecl *]: Assertion `Index < this->size() && "Invalid index!"' failed.
8  swift-ide-test  0x0000000000b67222 swift::BoundGenericType::getSubstitutions(swift::ModuleDecl*, swift::LazyResolver*, swift::DeclContext*) + 2962
9  swift-ide-test  0x0000000000b8a323 swift::TypeBase::gatherAllSubstitutions(swift::ModuleDecl*, llvm::SmallVectorImpl<swift::Substitution>&, swift::LazyResolver*, swift::DeclContext*) + 211
10 swift-ide-test  0x0000000000b6781e swift::ModuleDecl::lookupConformance(swift::Type, swift::ProtocolDecl*, swift::LazyResolver*) + 1246
11 swift-ide-test  0x000000000095be10 swift::TypeChecker::conformsToProtocol(swift::Type, swift::ProtocolDecl*, swift::DeclContext*, swift::OptionSet<swift::ConformanceCheckFlags, unsigned int>, swift::ProtocolConformance**, swift::SourceLoc) + 96
12 swift-ide-test  0x00000000008d9b5b swift::constraints::ConstraintSystem::simplifyConformsToConstraint(swift::Type, swift::ProtocolDecl*, swift::constraints::ConstraintKind, swift::constraints::ConstraintLocatorBuilder, unsigned int) + 123
13 swift-ide-test  0x00000000008d99e3 swift::constraints::ConstraintSystem::matchExistentialTypes(swift::Type, swift::Type, swift::constraints::ConstraintKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 211
14 swift-ide-test  0x00000000008dad30 swift::constraints::ConstraintSystem::simplifyRestrictedConstraint(swift::constraints::ConversionRestrictionKind, swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 2512
15 swift-ide-test  0x00000000008d7895 swift::constraints::ConstraintSystem::matchTypes(swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 10101
16 swift-ide-test  0x00000000008d7005 swift::constraints::ConstraintSystem::matchTypes(swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 7909
17 swift-ide-test  0x00000000008e1aef swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 639
18 swift-ide-test  0x00000000009a6177 swift::constraints::ConstraintSystem::addConstraint(swift::constraints::Constraint*, bool, bool) + 23
20 swift-ide-test  0x0000000000911011 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 385
21 swift-ide-test  0x0000000000917539 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
22 swift-ide-test  0x0000000000918650 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
23 swift-ide-test  0x00000000009187f9 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
29 swift-ide-test  0x0000000000931ec7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
30 swift-ide-test  0x00000000008fe05a swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1610
31 swift-ide-test  0x000000000076b9b2 swift::CompilerInstance::performSema() + 2946
32 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'A' at <INPUT-FILE>:2:1
2.	While type-checking expression at [<INPUT-FILE>:2:41 - line:2:41] RangeText="B"
```
2015-12-19 12:43:04 +01:00
practicalswift
54f0d7067e Remove incorrect "REQUIRES: asserts" annotation. 2015-12-19 12:36:00 +01:00
Dmitri Gribenko
9d52a31c97 Merge pull request #635 from practicalswift/sourcekit-039-swift-typechecker-checkconformance
[SourceKit] Add test case for crash triggered in swift::TypeChecker::checkConformance(…)
2015-12-19 03:25:20 -08:00
practicalswift
cd1a257fd1 [SourceKit] Add test case for crash triggered in swift::TypeChecker::checkGenericArguments(swift::DeclContext*, swift::SourceLoc, swift::SourceLoc, swift::Type, swift::GenericSignature*, llvm::ArrayRef<swift::Type>)
Stack trace:

```
found code completion token A at offset 166
swift-ide-test: /path/to/llvm/include/llvm/ADT/ArrayRef.h:186: const T &llvm::ArrayRef<swift::Type>::operator[](size_t) const [T = swift::Type]: Assertion `Index < Length && "Invalid index!"' failed.
8  swift-ide-test  0x0000000000952645 swift::TypeChecker::checkGenericArguments(swift::DeclContext*, swift::SourceLoc, swift::SourceLoc, swift::Type, swift::GenericSignature*, llvm::ArrayRef<swift::Type>) + 1365
9  swift-ide-test  0x000000000097de13 swift::TypeChecker::applyGenericArguments(swift::Type, swift::SourceLoc, swift::DeclContext*, llvm::MutableArrayRef<swift::TypeLoc>, bool, swift::GenericTypeResolver*) + 915
14 swift-ide-test  0x000000000097e0ce swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
16 swift-ide-test  0x000000000097dfc4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
18 swift-ide-test  0x0000000000956531 swift::TypeChecker::typeCheckPattern(swift::Pattern*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*) + 721
25 swift-ide-test  0x0000000000931ec7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
26 swift-ide-test  0x00000000008fdfd2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
27 swift-ide-test  0x000000000076b9b2 swift::CompilerInstance::performSema() + 2946
28 swift-ide-test  0x00000000007152b7 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While type-checking 'B' at <INPUT-FILE>:3:1
2.	While resolving type B<T> at [<INPUT-FILE>:3:27 - line:3:30] RangeText="B<T>"
```
2015-12-19 10:08:18 +01:00
Dmitri Gribenko
ef2026fc3d Merge pull request #652 from practicalswift/sourcekit-041-swift-archetypebuilder-getgenericsignature
[SourceKit] Add test case for crash triggered in swift::ArchetypeBuilder::getGenericSignature(…)
2015-12-19 00:37:06 -08:00
practicalswift
9cd1afc87a [SourceKit] Add test case for crash triggered in swift::ArchetypeBuilder::getGenericSignature(llvm::ArrayRef<swift::GenericTypeParamType*>)
Stack trace:

```
found code completion token A at offset 163
swift-ide-test: /path/to/swift/lib/AST/ArchetypeBuilder.cpp:1942: void collectRequirements(swift::ArchetypeBuilder &, ArrayRef<swift::GenericTypeParamType *>, SmallVectorImpl<swift::Requirement> &): Assertion `pa && "Missing potential archetype for generic parameter"' failed.
8  swift-ide-test  0x0000000000a97574 swift::ArchetypeBuilder::getGenericSignature(llvm::ArrayRef<swift::GenericTypeParamType*>) + 1620
9  swift-ide-test  0x0000000000951cdc swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 332
10 swift-ide-test  0x0000000000951fd4 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
11 swift-ide-test  0x000000000092c421 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 353
14 swift-ide-test  0x0000000000931e27 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
17 swift-ide-test  0x000000000097838b swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
18 swift-ide-test  0x00000000009781ce swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
19 swift-ide-test  0x0000000000900d88 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
27 swift-ide-test  0x0000000000ae1304 swift::Decl::walk(swift::ASTWalker&) + 20
28 swift-ide-test  0x0000000000b6afbe swift::SourceFile::walk(swift::ASTWalker&) + 174
29 swift-ide-test  0x0000000000b6a1ef swift::ModuleDecl::walk(swift::ASTWalker&) + 79
30 swift-ide-test  0x0000000000b44352 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
31 swift-ide-test  0x000000000085ccda swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
32 swift-ide-test  0x000000000076ba84 swift::CompilerInstance::performSema() + 3316
33 swift-ide-test  0x0000000000715217 main + 33239
Stack dump:
0.	Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1.	While walking into decl 'A' at <INPUT-FILE>:3:1
2.	While type-checking 'b' at <INPUT-FILE>:3:28
```
2015-12-19 08:56:14 +01:00
Dmitri Gribenko
6e62b9aee9 Merge pull request #617 from practicalswift/sourcekit-036-swift-constraints-constraintsystem-matchdeepequalitytypes
[SourceKit] Add test case for crash triggered in swift::constraints::ConstraintSystem::matchDeepEqualityTypes(…)
2015-12-18 22:31:21 -08:00
Dmitri Gribenko
eb9cc29d4a Merge pull request #646 from practicalswift/sourcekit-040-swift-typechecker-typecheckconstructorbodyuntil
[SourceKit] Add test case for crash triggered in swift::TypeChecker::typeCheckConstructorBodyUntil(…)
2015-12-18 22:31:03 -08:00