Dmitri Gribenko
054874e763
Merge pull request #666 from practicalswift/sil-008-swift-genericparamlist-getasgenericsignatureelements
...
[SIL] Add test case for crash triggered in swift::GenericParamList::getAsGenericSignatureElements(…)
2015-12-19 16:04:01 -08: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
f6371591e7
Merge pull request #671 from practicalswift/sil-009-swift-parser-parsedeclsil
...
[SIL] Add test case for crash triggered in swift::Parser::parseDeclSIL()
2015-12-19 15:22:21 -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
3bd2823f58
[SIL] Add test case for crash triggered in swift::Parser::parseDeclSIL()
...
Stack trace:
```
sil-opt: /path/to/swift/lib/SIL/Verifier.cpp:2992: void (anonymous namespace)::SILVerifier::visitSILFunction(swift::SILFunction *): Assertion `F->isAvailableExternally() && "external declaration of internal SILFunction not allowed"' failed.
9 sil-opt 0x0000000000a243f8 swift::Parser::parseDeclSIL() + 5384
10 sil-opt 0x00000000009f5b2a swift::Parser::parseTopLevel() + 378
11 sil-opt 0x00000000009f0fcf swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
12 sil-opt 0x00000000007392a6 swift::CompilerInstance::performSema() + 2918
13 sil-opt 0x0000000000723efc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. With parser at source location: <stdin>:3:22
2. While verifying SIL function @s for <stdin>:3:13
```
2015-12-19 21:50:48 +01:00
practicalswift
bcd1472c33
Remove superfluous $
2015-12-19 21:27:44 +01:00
practicalswift
7b00e8b82b
[SIL] Add test case for crash triggered in swift::GenericParamList::getAsGenericSignatureElements(swift::ASTContext&, llvm::DenseMap<swift::ArchetypeType*, swift::Type, llvm::DenseMapInfo<swift::ArchetypeType*>, llvm::detail::DenseMapPair<swift::ArchetypeType*, swift::Type> >&, llvm::SmallVectorImpl<swift::GenericTypeParamType*>&, llvm::SmallVectorImpl<swift::Requirement>&) const
...
Stack trace:
```
<stdin>:3:29: error: expected type
sil@__:$<__ where τ:k>()->(
<stdin>:3:29: error: expected ',' separator
sil@__:$<__ where τ:k>()->(
<stdin>:3:19: error: use of undeclared type 'τ'
sil@__:$<__ where τ:k>()->(
sil-opt: /path/to/llvm/include/llvm/ADT/ArrayRef.h:172: ArrayRef<T> llvm::ArrayRef<swift::ArchetypeType *>::slice(unsigned int, unsigned int) const [T = swift::ArchetypeType *]: Assertion `N+M <= size() && "Invalid specifier"' failed.
8 sil-opt 0x0000000000d20b65 swift::GenericParamList::getAsGenericSignatureElements(swift::ASTContext&, llvm::DenseMap<swift::ArchetypeType*, swift::Type, llvm::DenseMapInfo<swift::ArchetypeType*>, llvm::detail::DenseMapPair<swift::ArchetypeType*, swift::Type> >&, llvm::SmallVectorImpl<swift::GenericTypeParamType*>&, llvm::SmallVectorImpl<swift::Requirement>&) const + 2693
9 sil-opt 0x0000000000d1ff3c swift::GenericParamList::getAsCanonicalGenericSignature(llvm::DenseMap<swift::ArchetypeType*, swift::Type, llvm::DenseMapInfo<swift::ArchetypeType*>, llvm::detail::DenseMapPair<swift::ArchetypeType*, swift::Type> >&, swift::ASTContext&) const + 92
13 sil-opt 0x0000000000ae6c04 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
14 sil-opt 0x0000000000a66c5f swift::performTypeLocChecking(swift::ASTContext&, swift::TypeLoc&, bool, swift::DeclContext*, bool) + 1007
16 sil-opt 0x0000000000a23163 swift::Parser::parseDeclSIL() + 627
17 sil-opt 0x00000000009f5b2a swift::Parser::parseTopLevel() + 378
18 sil-opt 0x00000000009f0fcf swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
19 sil-opt 0x00000000007392a6 swift::CompilerInstance::performSema() + 2918
20 sil-opt 0x0000000000723efc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. With parser at source location: <stdin>:3:29
2. While resolving type @convention(thin) () -> ()sil-opt: /path/to/swift/include/swift/Basic/SourceLoc.h:93: swift::SourceRange::SourceRange(swift::SourceLoc, swift::SourceLoc): Assertion `Start.isValid() == End.isValid() && "Start and end should either both be valid or both be invalid!"' failed.
```
2015-12-19 17:48:56 +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
fa35b993e3
Merge pull request #662 from practicalswift/sil-007-swift-abstractstoragedecl-makecomputed
...
[SIL] Add test case for crash triggered in swift::AbstractStorageDecl::makeComputed(…)
2015-12-19 04:56:02 -08: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
practicalswift
58ce678fe7
[SIL] Add test case for crash triggered in swift::AbstractStorageDecl::makeComputed(swift::SourceLoc, swift::FuncDecl*, swift::FuncDecl*, swift::FuncDecl*, swift::SourceLoc)
...
Stack trace:
```
<stdin>:3:35: error: expected '}' at end of variable get/set clause
protocol a{@sil_stored var e:a{get
^
<stdin>:3:31: note: to match this opening '{'
protocol a{@sil_stored var e:a{get
^
<stdin>:3:35: error: consecutive declarations on a line must be separated by ';'
protocol a{@sil_stored var e:a{get
^
;
<stdin>:3:35: error: expected declaration
protocol a{@sil_stored var e:a{get
^
<stdin>:3:12: error: attribute cannot be applied to declaration
protocol a{@sil_stored var e:a{get
^~~~~~~~~~~
<stdin>:3:28: error: property in protocol must have explicit { get } or { get set } specifier
protocol a{@sil_stored var e:a{get
^
sil-opt: /path/to/swift/lib/AST/Decl.cpp:2788: void swift::AbstractStorageDecl::makeComputed(swift::SourceLoc, swift::FuncDecl *, swift::FuncDecl *, swift::FuncDecl *, swift::SourceLoc): Assertion `getStorageKind() == Stored && "StorageKind already set"' failed.
8 sil-opt 0x0000000000d28290 swift::AbstractStorageDecl::makeComputed(swift::SourceLoc, swift::FuncDecl*, swift::FuncDecl*, swift::FuncDecl*, swift::SourceLoc) + 352
9 sil-opt 0x0000000000af320d swift::convertStoredVarInProtocolToComputed(swift::VarDecl*, swift::TypeChecker&) + 45
14 sil-opt 0x0000000000a9aba7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
15 sil-opt 0x0000000000a66372 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
16 sil-opt 0x00000000007392c2 swift::CompilerInstance::performSema() + 2946
17 sil-opt 0x0000000000723efc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. While type-checking 'a' at <stdin>:3:1
```
2015-12-19 13:30:16 +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
6d02fe9bd9
Merge pull request #660 from practicalswift/sil-006-swift-syntaxsugartype-getimplementationtype
...
[SIL] Add test case for crash triggered in swift::SyntaxSugarType::getImplementationType()
2015-12-19 04:03:38 -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
74b07c151d
[SIL] Add test case for crash triggered in swift::SyntaxSugarType::getImplementationType()
...
Stack trace:
```
<stdin>:3:8: error: expected '{' in class
class C
^
<stdin>:4:22: error: consecutive declarations on a line must be separated by ';'
struct e{weak var x:C
^
;
<stdin>:4:22: error: expected declaration
struct e{weak var x:C
^
sil-opt: /path/to/swift/lib/AST/Type.cpp:1361: swift::Type swift::SyntaxSugarType::getImplementationType(): Assertion `implDecl && "Optional type has not been set yet"' failed.
8 sil-opt 0x0000000000d776ed swift::SyntaxSugarType::getImplementationType() + 77
9 sil-opt 0x0000000000d7754f swift::TypeBase::getDesugaredType() + 15
11 sil-opt 0x0000000000d33e7f swift::DiagnosticEngine::emitDiagnostic(swift::Diagnostic const&) + 3039
12 sil-opt 0x0000000000d3314f swift::DiagnosticEngine::flushActiveDiagnostic() + 319
13 sil-opt 0x0000000000a73ed5 swift::TypeChecker::checkOwnershipAttr(swift::VarDecl*, swift::OwnershipAttr*) + 309
14 sil-opt 0x0000000000a73bac swift::TypeChecker::checkTypeModifyingDeclAttributes(swift::VarDecl*) + 76
15 sil-opt 0x0000000000abfbfc swift::TypeChecker::coercePatternToType(swift::Pattern*&, swift::DeclContext*, swift::Type, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*) + 2332
16 sil-opt 0x0000000000abf00c swift::TypeChecker::typeCheckPattern(swift::Pattern*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*) + 780
18 sil-opt 0x0000000000a95fc6 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3974
19 sil-opt 0x0000000000af8f53 swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) + 451
20 sil-opt 0x0000000000a9fee3 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1299
23 sil-opt 0x0000000000a9aba7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
24 sil-opt 0x0000000000a66372 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
25 sil-opt 0x00000000007392c2 swift::CompilerInstance::performSema() + 2946
26 sil-opt 0x0000000000723efc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. While type-checking 'e' at <stdin>:4:1
```
2015-12-19 12:50:03 +01: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
Dmitri Gribenko
4684009c86
Merge pull request #656 from practicalswift/sil-005-swift-silfunction-verify
...
[SIL] Add test case for crash triggered in swift::SILFunction::verify()
2015-12-19 03:24:40 -08:00
practicalswift
5979c639e0
[SIL] Add test case for crash triggered in swift::SILFunction::verify() const
...
Stack trace:
```
sil-opt: /path/to/swift/lib/SIL/Verifier.cpp:2995: void (anonymous namespace)::SILVerifier::visitSILFunction(swift::SILFunction *): Assertion `!hasSharedVisibility(F->getLinkage()) && "external declarations of SILFunctions with shared visibility is not " "allowed"' failed.
8 sil-opt 0x00000000009aad02 swift::SILFunction::verify() const + 402
9 sil-opt 0x0000000000a243f8 swift::Parser::parseDeclSIL() + 5384
10 sil-opt 0x00000000009f5b2a swift::Parser::parseTopLevel() + 378
11 sil-opt 0x00000000009f0fcf swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
12 sil-opt 0x00000000007392a6 swift::CompilerInstance::performSema() + 2918
13 sil-opt 0x0000000000723efc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. With parser at source location: <stdin>:4:1
2. While verifying SIL function @a for <stdin>:3:21
```
2015-12-19 11:48:50 +01: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
e545aba350
Merge pull request #642 from practicalswift/sil-004-swift-expr-getsourcerange
...
[SIL] Add test case for crash triggered in swift::Expr::getSourceRange()
2015-12-18 22:37:47 -08: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
Dmitri Gribenko
2ffc7eed26
Merge pull request #623 from practicalswift/sourcekit-037-swift-typechecker-resolvetypeincontext
...
[SourceKit] Add test case for crash triggered in swift::TypeChecker::resolveTypeInContext(…)
2015-12-18 22:30:41 -08:00
Dmitri Gribenko
8e738c3126
build-script: allow to skip running SourceKit tests
2015-12-18 18:54:26 -08:00
Max Moiseev
bc942090ee
cleaning up initializePointee/deinitializePointee, error messages and comments
2015-12-18 16:22:24 -08:00
Dmitri Gribenko
06577273e9
var Sequence.enumerated => func
2015-12-18 16:22:24 -08:00
Max Moiseev
5ccc258f71
func underestimatedLength() => var underestimatedLength { get }
2015-12-18 16:22:24 -08:00
Max Moiseev
b3fcc5fefa
underestimateLength() => underestimatedLength()
2015-12-18 16:22:24 -08:00
Dmitri Gribenko
f6c00e8377
String: var lowercased, uppercased => func
2015-12-18 16:20:01 -08:00
Max Moiseev
50371821fe
reverse() => reversed()
2015-12-18 16:20:01 -08:00
Dmitri Gribenko
77376883f4
Collection.sortInPlace() => .sort()
2015-12-18 16:20:01 -08:00
Dmitri Gribenko
8f7c9ae3fd
Collection.sort() => .sorted()
2015-12-18 16:20:01 -08:00
Dmitri Gribenko
5b728dc859
Remove Range<Index> argument from Collection.partition()
...
collection.partition(i..<j) => collection[i..<j].partition()
2015-12-18 16:20:01 -08:00
Doug Gregor
eb90d97dec
Merge remote-tracking branch 'origin/swift-3-api-guidelines' into swift-3-omit-needless-words
2015-12-18 15:46:11 -08:00
Doug Gregor
cd1c106e35
Merge remote-tracking branch 'origin/master' into swift-3-api-guidelines
2015-12-18 15:45:48 -08:00
Alex Chan
ce7ce98a01
Update Python build scripts to use the print function
...
In Python 3, 'print' was changed from a statement to a function. Using
the __future__ module allows scripts to use print function whether
running with Python 2.6+ or Python 3.x. This commit changes as many
instances of print as I could find to use the print function and the
__future__ module.
2015-12-18 23:00:55 +00:00
practicalswift
0a1d8ac630
[SourceKit] Add test case for crash triggered in swift::TypeChecker::typeCheckConstructorBodyUntil(swift::ConstructorDecl*, swift::SourceLoc)
...
Stack trace:
```
found code completion token A at offset 145
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:95: static bool llvm::isa_impl_cl<swift::ClassDecl, const swift::NominalTypeDecl *>::doit(const From *) [To = swift::ClassDecl, From = const swift::NominalTypeDecl *]: Assertion `Val && "isa<> used on a null pointer"' failed.
8 swift-ide-test 0x0000000000978ba4 swift::TypeChecker::typeCheckConstructorBodyUntil(swift::ConstructorDecl*, swift::SourceLoc) + 1780
9 swift-ide-test 0x00000000009781c2 swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 34
10 swift-ide-test 0x0000000000900d88 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
22 swift-ide-test 0x0000000000ae1304 swift::Decl::walk(swift::ASTWalker&) + 20
23 swift-ide-test 0x0000000000b6afbe swift::SourceFile::walk(swift::ASTWalker&) + 174
24 swift-ide-test 0x0000000000b6a1ef swift::ModuleDecl::walk(swift::ASTWalker&) + 79
25 swift-ide-test 0x0000000000b44352 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
26 swift-ide-test 0x000000000085ccda swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
27 swift-ide-test 0x000000000076ba84 swift::CompilerInstance::performSema() + 3316
28 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 declaration 0x5e15110 at <INPUT-FILE>:3:1
```
2015-12-18 23:29:20 +01:00
practicalswift
f94d870fc9
Rename SIL crash - use .sil suffix instead of .swift
2015-12-18 21:16:30 +01:00
practicalswift
0b586deba4
[SourceKit] Add test case for crash triggered in swift::constraints::ConstraintSystem::matchDeepEqualityTypes(swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder)
...
Stack trace:
```
found code completion token A at offset 151
swift-ide-test: /path/to/swift/lib/Sema/CSSimplify.cpp:981: ConstraintSystem::SolutionKind swift::constraints::ConstraintSystem::matchDeepEqualityTypes(swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder): Assertion `(bool)nominal1->getParent() == (bool)nominal2->getParent() && "Mismatched parents of nominal types"' failed.
8 swift-ide-test 0x00000000008e0af8 swift::constraints::ConstraintSystem::matchDeepEqualityTypes(swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder) + 1000
9 swift-ide-test 0x00000000008e138b swift::constraints::ConstraintSystem::simplifyRestrictedConstraint(swift::constraints::ConversionRestrictionKind, swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 1019
10 swift-ide-test 0x00000000008dea63 swift::constraints::ConstraintSystem::matchTypes(swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 10035
11 swift-ide-test 0x00000000008e08a6 swift::constraints::ConstraintSystem::matchDeepEqualityTypes(swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder) + 406
12 swift-ide-test 0x00000000008e138b swift::constraints::ConstraintSystem::simplifyRestrictedConstraint(swift::constraints::ConversionRestrictionKind, swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 1019
13 swift-ide-test 0x00000000008dea63 swift::constraints::ConstraintSystem::matchTypes(swift::Type, swift::Type, swift::constraints::TypeMatchKind, unsigned int, swift::constraints::ConstraintLocatorBuilder) + 10035
14 swift-ide-test 0x00000000008e83ff swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 639
15 swift-ide-test 0x00000000009ae0c7 swift::constraints::ConstraintSystem::addConstraint(swift::constraints::Constraint*, bool, bool) + 23
16 swift-ide-test 0x00000000009b0bb1 swift::constraints::ConstraintSystem::getTypeOfMemberReference(swift::Type, swift::ValueDecl*, bool, bool, swift::constraints::ConstraintLocatorBuilder, swift::DeclRefExpr const*, swift::constraints::DependentTypeOpener*) + 3297
17 swift-ide-test 0x00000000009b1527 swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice) + 535
18 swift-ide-test 0x00000000008e8501 swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 897
19 swift-ide-test 0x00000000009ae0c7 swift::constraints::ConstraintSystem::addConstraint(swift::constraints::Constraint*, bool, bool) + 23
20 swift-ide-test 0x00000000009b12a7 swift::constraints::ConstraintSystem::addOverloadSet(swift::Type, llvm::ArrayRef<swift::constraints::OverloadChoice>, swift::constraints::ConstraintLocator*, swift::constraints::OverloadChoice*) + 327
21 swift-ide-test 0x00000000008e6a1d swift::constraints::ConstraintSystem::simplifyMemberConstraint(swift::constraints::Constraint const&) + 605
22 swift-ide-test 0x00000000008e81c5 swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 69
23 swift-ide-test 0x00000000009ae0c7 swift::constraints::ConstraintSystem::addConstraint(swift::constraints::Constraint*, bool, bool) + 23
28 swift-ide-test 0x0000000000ae792e swift::Expr::walk(swift::ASTWalker&) + 46
29 swift-ide-test 0x00000000008ce5e8 swift::constraints::ConstraintSystem::generateConstraints(swift::Expr*) + 200
30 swift-ide-test 0x0000000000918180 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>) + 256
31 swift-ide-test 0x000000000091e729 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
32 swift-ide-test 0x000000000091f840 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
33 swift-ide-test 0x000000000091f9e9 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
40 swift-ide-test 0x0000000000938ba7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
41 swift-ide-test 0x0000000000906602 swift::typeCheckCompletionDecl(swift::Decl*) + 1122
45 swift-ide-test 0x00000000008649b6 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 230
46 swift-ide-test 0x00000000007731b4 swift::CompilerInstance::performSema() + 3316
47 swift-ide-test 0x000000000071c897 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>:2:18
2. While type-checking expression at [<INPUT-FILE>:3:7 - line:3:9] RangeText="c{"
```
2015-12-18 21:12:09 +01:00
practicalswift
e3a5928c78
[SourceKit] Add test case for crash triggered in swift::TypeChecker::validateDecl(swift::ValueDecl*, bool)
...
Stack trace:
```
found code completion token A at offset 114
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:237: typename cast_retty<X, Y *>::ret_type llvm::cast(Y *) [X = swift::NominalTypeDecl, Y = swift::DeclContext]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
8 swift-ide-test 0x0000000000933801 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 6753
11 swift-ide-test 0x0000000000b5ba16 swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 278
23 swift-ide-test 0x0000000000ae6574 swift::Decl::walk(swift::ASTWalker&) + 20
24 swift-ide-test 0x0000000000b6f99e swift::SourceFile::walk(swift::ASTWalker&) + 174
25 swift-ide-test 0x0000000000b6ed7f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
26 swift-ide-test 0x0000000000b494f2 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
27 swift-ide-test 0x00000000008644dd swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 61
28 swift-ide-test 0x0000000000772e94 swift::CompilerInstance::performSema() + 3316
29 swift-ide-test 0x000000000071c557 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 0x5d82ef0 at <INPUT-FILE>:2:1
```
2015-12-18 21:07:15 +01:00
practicalswift
3df11ea9da
[SourceKit] Add test case for crash triggered in swift::TypeChecker::checkConformance(swift::NormalProtocolConformance*)
...
Stack trace:
```
found code completion token A at offset 149
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 0x000000000095db8f swift::TypeChecker::checkConformance(swift::NormalProtocolConformance*) + 2079
17 swift-ide-test 0x0000000000931d17 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
20 swift-ide-test 0x000000000097a89a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
21 swift-ide-test 0x00000000009b2abc swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
22 swift-ide-test 0x00000000009173fb swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
23 swift-ide-test 0x00000000009184a0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
24 swift-ide-test 0x0000000000918649 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
26 swift-ide-test 0x000000000092d136 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3974
27 swift-ide-test 0x0000000000991743 swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) + 451
28 swift-ide-test 0x0000000000937053 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1299
31 swift-ide-test 0x0000000000931d17 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
32 swift-ide-test 0x00000000008fde22 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
33 swift-ide-test 0x000000000076b802 swift::CompilerInstance::performSema() + 2946
34 swift-ide-test 0x0000000000715107 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>:3:20 - line:3:34] RangeText="{enum S<T{case"
3. While type-checking 'S' at <INPUT-FILE>:3:21
```
2015-12-18 21:04:37 +01:00
practicalswift
6e2b9b22d3
[SIL] Add test case for crash triggered in swift::Expr::getSourceRange() const
...
Stack trace:
```
<stdin>:3:15: error: expected convention name identifier in 'convention' attribute
l<@convention()>(
^
<stdin>:3:16: error: expected type
l<@convention()>(
^
<stdin>:3:2: note: while parsing this '<' as a type parameter bracket
l<@convention()>(
^
<stdin>:3:18: error: expected expression in list of expressions
l<@convention()>(
^
<stdin>:3:18: error: expected ',' separator
l<@convention()>(
^
,
<stdin>:3:1: error: expressions are not allowed at the top level
l<@convention()>(
^
sil-opt: /path/to/swift/include/swift/Basic/SourceLoc.h:93: swift::SourceRange::SourceRange(swift::SourceLoc, swift::SourceLoc): Assertion `Start.isValid() == End.isValid() && "Start and end should either both be valid or both be invalid!"' failed.
8 sil-opt 0x0000000000d3598b swift::Expr::getSourceRange() const + 1371
17 sil-opt 0x0000000000ccbfd4 swift::Decl::walk(swift::ASTWalker&) + 20
18 sil-opt 0x0000000000d5495e swift::SourceFile::walk(swift::ASTWalker&) + 174
19 sil-opt 0x0000000000d84594 swift::verify(swift::SourceFile&) + 52
20 sil-opt 0x00000000009f50b3 swift::Parser::parseTopLevel() + 563
21 sil-opt 0x00000000009f049f swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
22 sil-opt 0x0000000000739116 swift::CompilerInstance::performSema() + 2918
23 sil-opt 0x0000000000723d6c main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. With parser at source location: <stdin>:3:18
2. While walking into decl declaration 0x5fa2ee0 at <stdin>:3:1
3. While verifying ranges expression at [<stdin>:3:1 - line:3:1] RangeText="l"
```
2015-12-18 21:00:19 +01:00
