practicalswift
a983bec48a
[SIL] Add test case for crash triggered in swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc)
...
Stack trace:
```
<stdin>:2:7: error: expected '(' in argument list of function declaration
func n->a{return:}class a
^
<stdin>:2:17: error: expected expression in 'return' statement
func n->a{return:}class a
^
<stdin>:2:19: error: consecutive statements on a line must be separated by ';'
func n->a{return:}class a
^
;
<stdin>:2:26: error: expected '{' in class
func n->a{return:}class a
^
sil-opt: /path/to/llvm/include/llvm/Support/Casting.h:95: static bool llvm::isa_impl_cl<swift::ProtocolDecl, const swift::NominalTypeDecl *>::doit(const From *) [To = swift::ProtocolDecl, From = const swift::NominalTypeDecl *]: Assertion `Val && "isa<> used on a null pointer"' failed.
11 sil-opt 0x0000000000ae0d3b swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
12 sil-opt 0x0000000000ae0b7e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
13 sil-opt 0x0000000000ae17a8 swift::TypeChecker::typeCheckAbstractFunctionBody(swift::AbstractFunctionDecl*) + 136
15 sil-opt 0x0000000000a6620b swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1771
16 sil-opt 0x00000000007391c2 swift::CompilerInstance::performSema() + 2946
17 sil-opt 0x0000000000723dfc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. While type-checking 'n' at <stdin>:2:1
```
2015-12-21 08:56:27 +01: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
Dmitri Gribenko
b28e300024
Merge pull request #701 from practicalswift/sil-015-swift-parser-parsesilwitnesstable
...
[SIL] Add test case for crash triggered in swift::Parser::parseSILWitnessTable(…)
2015-12-20 23:42:39 -08:00
practicalswift
c592b66cc7
[SIL] Add test case for crash triggered in swift::Parser::parseSILWitnessTable()
...
Stack trace:
```
sil-opt: /path/to/swift/lib/Parse/ParseSIL.cpp:790: llvm::PointerUnion<ValueDecl *, Module *> lookupTopDecl(swift::Parser &, swift::Identifier): Assertion `DeclLookup.isSuccess() && DeclLookup.Results.size() == 1' failed.
11 sil-opt 0x0000000000a27272 swift::Parser::parseSILWitnessTable() + 450
12 sil-opt 0x00000000009f5a13 swift::Parser::parseTopLevel() + 755
13 sil-opt 0x00000000009f0d3f swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
14 sil-opt 0x00000000007391a6 swift::CompilerInstance::performSema() + 2918
15 sil-opt 0x0000000000723dfc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. With parser at source location: <stdin>:3:22
```
2015-12-21 08:39:31 +01: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
Dmitri Gribenko
d93e489b14
Merge pull request #696 from practicalswift/sil-014-swift-sildeclref-sildeclref
...
[SIL] Add test case for crash triggered in swift::SILDeclRef::SILDeclRef(…)
2015-12-20 22:50:50 -08: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
practicalswift
746a93b0e6
[SIL] Add test case for crash triggered in swift::SILDeclRef::SILDeclRef(swift::ValueDecl*, swift::SILDeclRef::Kind, swift::ResilienceExpansion, unsigned int, bool)
...
Stack trace:
```
<stdin>:3:8: error: expected '{' in class
class C}sil_vtable C{#C
^
<stdin>:3:8: error: extraneous '}' at top level
class C}sil_vtable C{#C
^
sil-opt: /path/to/swift/lib/SIL/SILDeclRef.cpp:144: swift::SILDeclRef::SILDeclRef(swift::ValueDecl *, SILDeclRef::Kind, swift::ResilienceExpansion, unsigned int, bool): Assertion `(kind == Kind::IVarInitializer || kind == Kind::IVarDestroyer) && "can only create ivar initializer/destroyer SILDeclRef for class"' failed.
8 sil-opt 0x00000000009cf6e6 swift::SILDeclRef::SILDeclRef(swift::ValueDecl*, swift::SILDeclRef::Kind, swift::ResilienceExpansion, unsigned int, bool) + 150
10 sil-opt 0x0000000000a26959 swift::Parser::parseSILVTable() + 905
11 sil-opt 0x00000000009f59e3 swift::Parser::parseTopLevel() + 707
12 sil-opt 0x00000000009f0d3f swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
13 sil-opt 0x00000000007391a6 swift::CompilerInstance::performSema() + 2918
14 sil-opt 0x0000000000723dfc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. With parser at source location: <stdin>:3:24
```
2015-12-21 07:37:02 +01:00
Dmitri Gribenko
9381b2099d
Merge pull request #686 from practicalswift/sil-012-swift-dependentgenerictyperesolver-resolveselfassociatedtype
...
[SIL] Add test case for crash triggered in swift::DependentGenericTypeResolver::resolveSelfAssociatedType(…)
2015-12-20 15:12:12 -08:00
Dmitri Gribenko
ae96a2aa94
Merge pull request #690 from practicalswift/sil-013-swift-parser-parsesilglobal
...
[SIL] Add test case for crash triggered in swift::Parser::parseSILGlobal()
2015-12-20 15:11:55 -08: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
87008f24ad
[SIL] Add test case for crash triggered in swift::Parser::parseSILGlobal()
...
Stack trace:
```
<stdin>:3:36: error: expected ']' or ',' in attribute list
sil_global@_a:$()sil_global[fragile@_a:$(
^
<stdin>:3:42: error: expected type
sil_global@_a:$()sil_global[fragile@_a:$(
^
<stdin>:3:42: error: expected ',' separator
sil_global@_a:$()sil_global[fragile@_a:$(
^
,
sil-opt: /path/to/swift/lib/SIL/SILGlobalVariable.cpp:29: static swift::SILGlobalVariable *swift::SILGlobalVariable::create(swift::SILModule &, swift::SILLinkage, bool, llvm::StringRef, swift::SILType, Optional<swift::SILLocation>, swift::VarDecl *): Assertion `!entry->getValue() && "global variable already exists"' failed.
9 sil-opt 0x0000000000a25f6c swift::Parser::parseSILGlobal() + 684
10 sil-opt 0x00000000009f5c3b swift::Parser::parseTopLevel() + 731
11 sil-opt 0x00000000009f0f7f 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:42
```
2015-12-20 22:08:36 +01: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
e48323ce10
[SIL] Add test case for crash triggered in swift::DependentGenericTypeResolver::resolveSelfAssociatedType(swift::Type, swift::DeclContext*, swift::AssociatedTypeDecl*)
...
Stack trace:
```
<stdin>:2:23: error: expected '>' to complete generic parameter list
protocol O{func f(<u,a{},a.i
^
<stdin>:2:19: note: to match this opening '<'
protocol O{func f(<u,a{},a.i
^
<stdin>:2:23: error: expected parameter type following ':'
protocol O{func f(<u,a{},a.i
^
<stdin>:2:23: error: expected ',' separator
protocol O{func f(<u,a{},a.i
^
,
<stdin>:2:23: error: expected parameter type following ':'
protocol O{func f(<u,a{},a.i
^
<stdin>:2:23: error: expected ',' separator
protocol O{func f(<u,a{},a.i
^
,
<stdin>:2:26: error: unnamed parameters must be written with the empty name '_'
protocol O{func f(<u,a{},a.i
^
_:
<stdin>:2:29: error: expected ',' separator
protocol O{func f(<u,a{},a.i
^
,
<stdin>:2:29: error: expected parameter type following ':'
protocol O{func f(<u,a{},a.i
^
<stdin>:2:29: error: expected ',' separator
protocol O{func f(<u,a{},a.i
^
,
<stdin>:2:29: error: consecutive declarations on a line must be separated by ';'
protocol O{func f(<u,a{},a.i
^
;
<stdin>:2:29: error: expected declaration
protocol O{func f(<u,a{},a.i
^
<unknown>:0: error: type annotation missing in pattern
sil-opt: /path/to/swift/lib/Sema/TypeCheckGeneric.cpp:34: virtual swift::Type swift::DependentGenericTypeResolver::resolveDependentMemberType(swift::Type, swift::DeclContext *, swift::SourceRange, swift::ComponentIdentTypeRepr *): Assertion `archetype && "Bad generic context nesting?"' failed.
8 sil-opt 0x0000000000ab8550 swift::DependentGenericTypeResolver::resolveSelfAssociatedType(swift::Type, swift::DeclContext*, swift::AssociatedTypeDecl*) + 0
10 sil-opt 0x0000000000ae6bde swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
12 sil-opt 0x0000000000ae6ad4 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 0x0000000000abeee1 swift::TypeChecker::typeCheckPattern(swift::Pattern*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*) + 721
15 sil-opt 0x0000000000abee38 swift::TypeChecker::typeCheckPattern(swift::Pattern*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*) + 552
17 sil-opt 0x0000000000ab91cc swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) + 124
22 sil-opt 0x0000000000a9aaf7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
23 sil-opt 0x0000000000a66322 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
24 sil-opt 0x00000000007392c2 swift::CompilerInstance::performSema() + 2946
25 sil-opt 0x0000000000723efc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. While type-checking 'O' at <stdin>:2:1
2. While resolving type a.i at [<stdin>:2:26 - line:2:28] RangeText="a.i"
```
2015-12-20 13:55:04 +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
Dmitri Gribenko
a2f7d01efa
Merge pull request #683 from practicalswift/sil-011-swift-typechecker-validatetype
...
[SIL] Add test case for crash triggered in llvm::llvm_unreachable_internal(…)
2015-12-20 03:24:08 -08:00
practicalswift
fbcbce263c
[SIL] Add test case for crash triggered in llvm::llvm_unreachable_internal(char const*, char const*, unsigned int)
...
Stack trace:
```
<stdin>:2:22: error: expected ',' separator
sil@s:$()->(@owned T c:t
^
,
<stdin>:2:25: error: expected ',' separator
sil@s:$()->(@owned T c:t
^
,
<stdin>:2:25: error: expected type
sil@s:$()->(@owned T c:t
^
<stdin>:2:25: error: expected ',' separator
sil@s:$()->(@owned T c:t
^
,
<stdin>:2:20: error: use of undeclared type 'T'
sil@s:$()->(@owned T c:t
^
NamedTypeRepr only shows up as an element of Tuple
UNREACHABLE executed at /path/to/swift/lib/Sema/TypeCheckType.cpp:1400!
6 sil-opt 0x0000000002c0db6d llvm::llvm_unreachable_internal(char const*, char const*, unsigned int) + 461
12 sil-opt 0x0000000000ae6ad4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
13 sil-opt 0x0000000000a66c0f swift::performTypeLocChecking(swift::ASTContext&, swift::TypeLoc&, bool, swift::DeclContext*, bool) + 1007
15 sil-opt 0x0000000000a23113 swift::Parser::parseDeclSIL() + 627
16 sil-opt 0x00000000009f5ada swift::Parser::parseTopLevel() + 378
17 sil-opt 0x00000000009f0f7f swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) + 207
18 sil-opt 0x00000000007392a6 swift::CompilerInstance::performSema() + 2918
19 sil-opt 0x0000000000723efc main + 1916
Stack dump:
0. Program arguments: sil-opt -enable-sil-verify-all
1. With parser at source location: <stdin>:2:25
2. While resolving type @convention(thin) () -> ( T, c: t)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-20 12:22:27 +01: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
f4c1f4b4a4
Disable SourceKit tests everywhere except OS X
...
SourceKit tests currently implicitly rely on the OS X standard library.
2015-12-19 18:31:23 -08:00
Dmitri Gribenko
d9802dd59b
Annotate a test as crashing in the AST verifier
2015-12-19 17:50:24 -07:00
Dmitri Gribenko
a600836ede
Merge pull request #639 from alexwlchan/awlc/py3-print-function
...
Update Python build scripts to use the print function
2015-12-19 16:34:44 -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
Dmitri Gribenko
77db095be5
Merge pull request #675 from practicalswift/sil-010-swift-typechecker-addimplicitconstructors
...
[SIL] Add test case for crash triggered in swift::TypeChecker::addImplicitConstructors(…)
2015-12-19 16:27:30 -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
practicalswift
252774ba51
[SIL] Add test case for crash triggered in swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*)
...
Stack trace:
```
<stdin>:4:6: error: consecutive declarations on a line must be separated by ';'
var h
^
;
<stdin>:4:6: error: expected declaration
var h
^
<stdin>:3:24: error: type annotation missing in pattern
class C{@NSManaged var S
^
<stdin>:4:5: error: type annotation missing in pattern
var h
^
<stdin>:3:7: error: class 'C' has no initializers
class C{@NSManaged var S
^
sil-opt: /path/to/swift/lib/Sema/TypeCheckDecl.cpp:1010: auto isNeverDefaultInitializable(swift::Pattern *)::(anonymous class)::operator()(swift::VarDecl *) const: Assertion `!var->getAttrs().hasAttribute<NSManagedAttr>()' failed.
11 sil-opt 0x0000000000a9ff1f swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1359
14 sil-opt 0x0000000000a9aba7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
15 sil-opt 0x0000000000a663fa swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1610
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 'C' at <stdin>:3:1
```
2015-12-20 01:16:41 +01:00
Dmitri Gribenko
3330352a47
Merge pull request #670 from practicalswift/additional-bash-fixes
...
Cleanups of various bash scripts
2015-12-19 16:10:34 -08:00
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
