Xi Ge
380bc11c0e
[test] Mark an IDE crash as fixed.
2016-02-27 22:01:20 -08:00
Dmitri Gribenko
a257715fcc
Revert "[stdlib] [SE-0031] update stdlib for SE-0031 (inout adjustment)"
2016-02-26 11:17:10 -08:00
Daniel Duan
13b5c8f3bc
[SE-0031] update code base for SE-0031 (inout adjustment)
2016-02-26 10:52:10 -08:00
Dmitri Gribenko
084e284c3f
Mark a crash test as fixed
2016-02-02 17:03:54 -08:00
Chris Lattner
7c97117d77
Fix IDE crashers 027, 066, and 068.
...
Expand the "skip" functions in the parser to be more careful about
not skipping passed a #endif or a code completion token, since they
are synchronization points for the parser.
The fix was to change Parser::delayParseFromBeginningToHere to use
a manual loop instead of skipUntil (which can stop early for non-EOF
tokens).
2016-02-01 16:36:28 -08:00
Chris Lattner
ff34db7950
fix a few compiler crashers
...
These were due to CSDiags not reverting the semantic expr embedded in CollectionExprs
when retypechecking them.
2016-01-29 21:13:57 -08:00
Chris Lattner
2715a9e46e
Another testcase fixed by recent patches.
2016-01-29 17:04:26 -08:00
Slava Pestov
3550897090
The previous patch accidentally fixed some compiler_crashers
2016-01-27 23:51:20 -08:00
Chris Lattner
a2ea7b1335
Recent fixes fixed this testcase as well.
2016-01-17 13:11:38 -08:00
Ben Langmuir
93e3c72883
[swift-ide-test] Don't go past the end of input in removeCodeCompletionTokens
...
When matching an incomplete code-completion token #^...
2016-01-12 11:28:11 -08:00
Chris Lattner
2f78b70857
recent diagnostics changes fixed 5 crashers and broke 1.
2016-01-11 22:43:27 -08:00
Slava Pestov
cbb95a2910
Merge pull request #926 from jtbandes/innermost-params
...
[AST] Fix inconsistent handling of generic args & params during BoundGenericType::getSubstitutions
2016-01-09 23:30:06 -08:00
Jacob Bandes-Storch
b97cb48c2b
[AST] Fix inconsistent handling of generic args & params during BoundGenericType::getSubstitutions
...
A decl’s full GenericSignature is set during validateGenericTypeSignature().
Then during ConstraintSystem::openTypes(), in ReplaceDependentTypes, the GenericArgs list is built from the generic signature (via getGenericParamTypes()) and passed into a new BoundGenericType.
In BoundGenericType::getSubstitutions(), the GenericArgs are assumed to match getGenericParamsOfContext()->getParams().
However, in reality, the GenericArgs include all levels of generic args, whereas getGenericParamsOfContext() are the params of the innermost context only, so the params array is accessed past its end.
This commit changes NominalTypeDecl::getGenericParamTypes() to return the innermost params, in order to match the output of BoundGenericType::getGenericArgs(). For clarity and to hopefully prevent future confusion, we also rename getGenericParamTypes() to getInnermostGenericParamTypes().
2016-01-09 02:19:28 -08:00
John McCall
e21b71a4e7
This test has been fixed.
2016-01-08 22:49:03 -08:00
practicalswift
db9fa33be6
Move to IDE/crashers_fixed/
...
Fixed thanks to @nkcsgexi:s commit f5f796b648
2016-01-08 22:30:26 +01:00
practicalswift
7382b469b5
Update RUN line to reflect current non-crash status.
2016-01-08 22:28:29 +01:00
practicalswift
4ea2138292
Add AddressSanitizer (ASan) output to crash cases.
2016-01-08 20:04:15 +01:00
Dmitri Gribenko
53128deaa3
Merge pull request #874 from practicalswift/sourcekit-067-swift-constraints-constraintsystem-resolveoverload
...
[SourceKit] Add test case for crash triggered in swift::constraints::ConstraintSystem::resolveOverload(…)
2016-01-06 12:00:09 +02:00
Dmitri Gribenko
e9c5a60aa2
Merge pull request #880 from practicalswift/sourcekit-068-swift-typechecker-resolvetypewitness
...
[SourceKit] Add test case for crash triggered in swift::TypeChecker::resolveTypeWitness(…)
2016-01-06 11:59:46 +02:00
Xi Ge
40c1622a6d
[test] Update test after fixing a crash.
2016-01-05 21:05:08 -08:00
practicalswift
c60387d426
[SourceKit] Add test case for crash triggered in swift::TypeChecker::resolveTypeWitness(swift::NormalProtocolConformance const*, swift::AssociatedTypeDecl*)
...
Stack trace:
```
found code completion token A at offset 127
6 swift-ide-test 0x000000000095ab41 swift::TypeChecker::resolveTypeWitness(swift::NormalProtocolConformance const*, swift::AssociatedTypeDecl*) + 193
7 swift-ide-test 0x0000000000b7a906 swift::NormalProtocolConformance::getTypeWitnessSubstAndDecl(swift::AssociatedTypeDecl*, swift::LazyResolver*) const + 150
8 swift-ide-test 0x0000000000b7a848 swift::ProtocolConformance::getTypeWitnessSubstAndDecl(swift::AssociatedTypeDecl*, swift::LazyResolver*) const + 40
9 swift-ide-test 0x0000000000b7afe6 swift::ProtocolConformance::getTypeWitness(swift::AssociatedTypeDecl*, swift::LazyResolver*) const + 6
10 swift-ide-test 0x0000000000952c4e swift::TypeChecker::lookupMemberType(swift::DeclContext*, swift::Type, swift::Identifier, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 1070
12 swift-ide-test 0x000000000097ba3e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
14 swift-ide-test 0x000000000097c944 swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 164
15 swift-ide-test 0x000000000097b94a swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 42
16 swift-ide-test 0x0000000000928a6a swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4890
21 swift-ide-test 0x000000000092c021 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 5969
22 swift-ide-test 0x0000000000b71fcc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
23 swift-ide-test 0x000000000095293a swift::TypeChecker::lookupMemberType(swift::DeclContext*, swift::Type, swift::Identifier, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 282
25 swift-ide-test 0x000000000097ba3e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
27 swift-ide-test 0x000000000097c944 swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 164
28 swift-ide-test 0x000000000097b94a swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 42
29 swift-ide-test 0x00000000009eb7e2 swift::IterativeTypeChecker::processResolveInheritedClauseEntry(std::pair<llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>, unsigned int>, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 146
30 swift-ide-test 0x00000000009eaa6d swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 493
31 swift-ide-test 0x0000000000927709 swift::TypeChecker::resolveInheritanceClause(llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>) + 137
32 swift-ide-test 0x000000000092ace1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1041
34 swift-ide-test 0x0000000000930296 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150
35 swift-ide-test 0x00000000008fca42 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
36 swift-ide-test 0x000000000076b4f2 swift::CompilerInstance::performSema() + 2946
37 swift-ide-test 0x0000000000714d83 main + 33379
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:3
2. While resolving type A.e at [<INPUT-FILE>:5:13 - line:5:15] RangeText="A.e"
3. While type-checking 'a' at <INPUT-FILE>:4:1
4. While resolving type A.e at [<INPUT-FILE>:5:13 - line:5:15] RangeText="A.e"
```
2016-01-05 14:58:19 +01:00
practicalswift
ef798c7a2f
[SourceKit] Add test case for crash triggered in swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice)
...
Stack trace:
```
found code completion token A at offset 177
swift-ide-test: /path/to/swift/lib/Sema/ConstraintSystem.cpp:1466: void swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator *, swift::Type, swift::constraints::OverloadChoice): Assertion `!refType->hasTypeParameter() && "Cannot have a dependent type here"' failed.
8 swift-ide-test 0x00000000009a656a swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice) + 4074
9 swift-ide-test 0x00000000008e0681 swift::constraints::ConstraintSystem::simplifyConstraint(swift::constraints::Constraint const&) + 897
10 swift-ide-test 0x00000000008eae36 swift::constraints::ConstraintSystem::solveSimplified(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 3142
11 swift-ide-test 0x00000000008e8479 swift::constraints::ConstraintSystem::solveRec(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 313
12 swift-ide-test 0x00000000008e8239 swift::constraints::ConstraintSystem::solve(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) + 73
13 swift-ide-test 0x000000000090f9f6 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>) + 614
14 swift-ide-test 0x0000000000915db9 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
19 swift-ide-test 0x00000000009c7dd8 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) + 104
20 swift-ide-test 0x00000000009cc68e swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) + 4046
21 swift-ide-test 0x000000000090fa25 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 661
22 swift-ide-test 0x0000000000915db9 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
23 swift-ide-test 0x0000000000916ed0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
24 swift-ide-test 0x0000000000917079 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
26 swift-ide-test 0x000000000092b7f4 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3876
27 swift-ide-test 0x0000000000b71fcc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
28 swift-ide-test 0x0000000000b709dd swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2269
29 swift-ide-test 0x0000000000951c8b swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
32 swift-ide-test 0x000000000097ba3e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
34 swift-ide-test 0x000000000097c944 swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 164
35 swift-ide-test 0x000000000097b94a swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 42
36 swift-ide-test 0x000000000094e08b swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 715
37 swift-ide-test 0x000000000094f79f swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143
38 swift-ide-test 0x000000000094fb54 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
39 swift-ide-test 0x000000000092aa32 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 354
43 swift-ide-test 0x0000000000930296 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150
44 swift-ide-test 0x00000000008fca42 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
45 swift-ide-test 0x000000000076b4f2 swift::CompilerInstance::performSema() + 2946
46 swift-ide-test 0x0000000000714d83 main + 33379
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking 'd' at <INPUT-FILE>:3:1
2. While resolving type g at [<INPUT-FILE>:4:32 - line:4:32] RangeText="g"
3. While type-checking expression at [<INPUT-FILE>:4:7 - line:4:9] RangeText="b<a"
4. While type-checking expression at [<INPUT-FILE>:4:7 - line:4:7] RangeText="b"
```
2016-01-04 21:29:52 +01:00
Chris Lattner
c2f5ffa0ce
Merge pull request #848 from practicalswift/sourcekit-064-swift-genericfunctiontype-get
...
[SourceKit] Add test case for crash triggered in swift::GenericFunctionType::get(…)
2016-01-01 13:26:01 -08:00
practicalswift
e55574aca4
[SourceKit] Add test case for crash triggered in swift::GenericFunctionType::get(swift::GenericSignature*, swift::Type, swift::Type, swift::AnyFunctionType::ExtInfo const&)
...
Stack trace:
```
found code completion token A at offset 144
swift-ide-test: /path/to/swift/lib/AST/ASTContext.cpp:2868: static swift::GenericFunctionType *swift::GenericFunctionType::get(swift::GenericSignature *, swift::Type, swift::Type, const swift::AnyFunctionType::ExtInfo &): Assertion `sig && "no generic signature for generic function type?!"' failed.
8 swift-ide-test 0x0000000000aa633e swift::GenericFunctionType::get(swift::GenericSignature*, swift::Type, swift::Type, swift::AnyFunctionType::ExtInfo const&) + 574
10 swift-ide-test 0x000000000092addc swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 780
15 swift-ide-test 0x0000000000b51f70 swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 1168
18 swift-ide-test 0x000000000085c193 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 307
19 swift-ide-test 0x000000000076b5a4 swift::CompilerInstance::performSema() + 3316
20 swift-ide-test 0x0000000000714cc3 main + 33379
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking declaration 0x4dd8ad0 at <INPUT-FILE>:2:27
```
2016-01-01 21:31:41 +01:00
practicalswift
3c1c6c8ec0
[SourceKit] Add test case for crash triggered in swift::ConformanceLookupTable::expandImpliedConformances(swift::NominalTypeDecl*, swift::DeclContext*, swift::LazyResolver*)
...
Stack trace:
```
found code completion token A at offset 131
swift-ide-test: /path/to/swift/lib/AST/ConformanceLookupTable.cpp:497: void swift::ConformanceLookupTable::expandImpliedConformances(swift::NominalTypeDecl *, swift::DeclContext *, swift::LazyResolver *): Assertion `i <= 16384 && "Infinite loop due to circular protocol inheritance?"' failed.
8 swift-ide-test 0x0000000000bb3385 swift::ConformanceLookupTable::expandImpliedConformances(swift::NominalTypeDecl*, swift::DeclContext*, swift::LazyResolver*) + 821
9 swift-ide-test 0x0000000000bb1585 swift::ConformanceLookupTable::updateLookupTable(swift::NominalTypeDecl*, swift::ConformanceLookupTable::ConformanceStage, swift::LazyResolver*) + 1109
10 swift-ide-test 0x0000000000bb4504 swift::ConformanceLookupTable::lookupConformances(swift::NominalTypeDecl*, swift::DeclContext*, swift::LazyResolver*, swift::ConformanceLookupKind, llvm::SmallVectorImpl<swift::ProtocolDecl*>*, llvm::SmallVectorImpl<swift::ProtocolConformance*>*, llvm::SmallVectorImpl<swift::ConformanceDiagnostic>*) + 68
11 swift-ide-test 0x0000000000b7dfc8 swift::DeclContext::getLocalProtocols(swift::ConformanceLookupKind, llvm::SmallVectorImpl<swift::ConformanceDiagnostic>*, bool) const + 136
14 swift-ide-test 0x0000000000930426 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 150
17 swift-ide-test 0x000000000097743a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
18 swift-ide-test 0x00000000009adebc swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
19 swift-ide-test 0x000000000091603b swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
21 swift-ide-test 0x0000000000977586 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) + 134
22 swift-ide-test 0x00000000008fccbd swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1581
23 swift-ide-test 0x000000000076b432 swift::CompilerInstance::performSema() + 2946
24 swift-ide-test 0x0000000000714cc3 main + 33379
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking expression at [<INPUT-FILE>:3:7 - line:6:12] RangeText="{
protocol e:A
protocol A:A
protocol c:e"
2. While type-checking 'c' at <INPUT-FILE>:6:1
```
2016-01-01 21:24:58 +01:00
practicalswift
3c5d2a81c2
[SourceKit] Add test case for crash triggered in swift::GenericTypeParamType::get(unsigned int, unsigned int, swift::ASTContext const&)
...
Stack trace:
```
found code completion token A at offset 169
5 swift-ide-test 0x0000000000aab4e6 swift::GenericTypeParamType::get(unsigned int, unsigned int, swift::ASTContext const&) + 54
9 swift-ide-test 0x000000000095bf6a swift::TypeChecker::checkConformance(swift::NormalProtocolConformance*) + 282
13 swift-ide-test 0x0000000000931ad7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
16 swift-ide-test 0x000000000097937a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
17 swift-ide-test 0x00000000009b157c swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
18 swift-ide-test 0x000000000091721b swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
20 swift-ide-test 0x00000000009794c6 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) + 134
21 swift-ide-test 0x0000000000900e5d swift::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) + 1117
34 swift-ide-test 0x0000000000ae0244 swift::Decl::walk(swift::ASTWalker&) + 20
35 swift-ide-test 0x0000000000b6aa8e swift::SourceFile::walk(swift::ASTWalker&) + 174
36 swift-ide-test 0x0000000000b69cbf swift::ModuleDecl::walk(swift::ASTWalker&) + 79
37 swift-ide-test 0x0000000000b43372 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
38 swift-ide-test 0x000000000085c43a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
39 swift-ide-test 0x000000000076b3e4 swift::CompilerInstance::performSema() + 3316
40 swift-ide-test 0x0000000000714b43 main + 33379
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While walking into decl declaration 0x4933e30 at <INPUT-FILE>:3:1
2. While type-checking expression at [<INPUT-FILE>:3:1 - line:5:7] RangeText="{protocol A{func b
}enum B:A{let s=b
let A{"
3. While type-checking 'B' at <INPUT-FILE>:4:2
```
2015-12-28 17:41:20 +01:00
Dmitri Gribenko
569a80c0f3
Merge pull request #774 from practicalswift/sourcekit-061-swift-constraints-solution-coercetotype
...
[SourceKit] Add test case for crash triggered in swift::constraints::Solution::coerceToType(…)
2015-12-25 09:21:34 -08:00
practicalswift
eefd5cad0c
[SourceKit] Add test case for crash triggered in swift::constraints::Solution::computeSubstitutions(swift::Type, swift::DeclContext*, swift::Type, swift::constraints::ConstraintLocator*, llvm::SmallVectorImpl<swift::Substitution>&) const
...
Stack trace:
```
found code completion token A at offset 167
swift-ide-test: /path/to/swift/lib/AST/Substitution.cpp:67: swift::Substitution::Substitution(swift::ArchetypeType *, swift::Type, ArrayRef<swift::ProtocolConformance *>): Assertion `Conformance.size() == Archetype->getConformsTo().size() && "substitution conformances don't match archetype"' failed.
9 swift-ide-test 0x00000000009ad85a swift::constraints::Solution::computeSubstitutions(swift::Type, swift::DeclContext*, swift::Type, swift::constraints::ConstraintLocator*, llvm::SmallVectorImpl<swift::Substitution>&) const + 1594
13 swift-ide-test 0x0000000000adfa45 swift::Expr::walk(swift::ASTWalker&) + 69
14 swift-ide-test 0x00000000009b1246 swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 502
15 swift-ide-test 0x000000000091701b swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
17 swift-ide-test 0x00000000009cd2e9 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) + 6649
18 swift-ide-test 0x00000000009d020e swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) + 4046
19 swift-ide-test 0x0000000000910b95 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 661
20 swift-ide-test 0x0000000000916fa9 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
21 swift-ide-test 0x00000000009180c0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
22 swift-ide-test 0x0000000000918269 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
27 swift-ide-test 0x00000000009318d7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
28 swift-ide-test 0x00000000008fd962 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
29 swift-ide-test 0x000000000076b1d2 swift::CompilerInstance::performSema() + 2946
30 swift-ide-test 0x0000000000714ad7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking 'A' at <INPUT-FILE>:3:1
2. While type-checking expression at [<INPUT-FILE>:4:7 - line:4:7] RangeText="b"
3. While type-checking expression at [<INPUT-FILE>:4:7 - line:4:7] RangeText="b"
```
2015-12-25 16:55:25 +01:00
practicalswift
63320abe46
[SourceKit] Add test case for crash triggered in llvm::llvm_unreachable_internal(char const*, char const*, unsigned int)
...
Stack trace:
```
found code completion token A at offset 224
Unhandled coercion
UNREACHABLE executed at /path/to/swift/lib/Sema/CSApply.cpp:4918!
6 swift-ide-test 0x0000000002a638ed llvm::llvm_unreachable_internal(char const*, char const*, unsigned int) + 461
8 swift-ide-test 0x00000000009b4ac6 swift::constraints::Solution::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocator*, bool) const + 326
10 swift-ide-test 0x00000000009170c6 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 854
11 swift-ide-test 0x00000000009180c0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
12 swift-ide-test 0x0000000000918269 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
14 swift-ide-test 0x000000000092cd04 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3940
19 swift-ide-test 0x0000000000b5563d swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 1117
21 swift-ide-test 0x000000000085c2e3 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 307
22 swift-ide-test 0x000000000076b344 swift::CompilerInstance::performSema() + 3316
23 swift-ide-test 0x0000000000714ad7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking expression at [<INPUT-FILE>:10:7 - line:10:7] RangeText="c"
```
2015-12-25 14:24:29 +01:00
practicalswift
a238922a54
[SourceKit] Add test case for crash triggered in swift::ConstructorDecl::getResultType() const
...
Stack trace:
```
found code completion token A at offset 127
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:237: typename cast_retty<X, Y *>::ret_type llvm::cast(Y *) [X = swift::AnyFunctionType, Y = swift::TypeBase]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
8 swift-ide-test 0x0000000000b40991 swift::ConstructorDecl::getResultType() const + 129
19 swift-ide-test 0x0000000000adfdf4 swift::Decl::walk(swift::ASTWalker&) + 20
20 swift-ide-test 0x0000000000b69ade swift::SourceFile::walk(swift::ASTWalker&) + 174
21 swift-ide-test 0x0000000000b68d0f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
22 swift-ide-test 0x0000000000b42e12 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
23 swift-ide-test 0x000000000085c23a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
24 swift-ide-test 0x000000000076b344 swift::CompilerInstance::performSema() + 3316
25 swift-ide-test 0x0000000000714ad7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While walking into decl declaration 0x448df20 at <INPUT-FILE>:2:14
```
2015-12-25 11:30:15 +01:00
Chris Lattner
5d6c20b0b6
fix 058-swift-constraints-constraintsystem-diagnosefailureforexpr.swift
...
CSDiag's wasn't considering the case when an operator was invalid and had ErrorType.
2015-12-23 17:28:08 -08:00
Dmitri Gribenko
9ec295932c
Merge pull request #747 from practicalswift/sourcekit-059-swift-iterativetypechecker-processinheritedprotocols
...
[SourceKit] Add test case for crash triggered in swift::IterativeTypeChecker::processInheritedProtocols(…)
2015-12-23 09:06:01 -08:00
practicalswift
b9957b3d78
[SourceKit] Add test case for crash triggered in swift::IterativeTypeChecker::processInheritedProtocols(swift::ProtocolDecl*, llvm::function_ref<bool (swift::TypeCheckRequest)>)
...
Stack trace:
```
found code completion token A at offset 182
swift-ide-test: /path/to/swift/include/swift/AST/Decl.h:3488: void swift::ProtocolDecl::setInheritedProtocols(ArrayRef<swift::ProtocolDecl *>): Assertion `!InheritedProtocolsSet && "protocols already set"' failed.
8 swift-ide-test 0x00000000009f0002 swift::IterativeTypeChecker::processInheritedProtocols(swift::ProtocolDecl*, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 1602
9 swift-ide-test 0x00000000009ee83d swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 493
10 swift-ide-test 0x00000000009289f0 swift::TypeChecker::resolveInheritedProtocols(swift::ProtocolDecl*) + 64
11 swift-ide-test 0x0000000000a92011 swift::ArchetypeBuilder::addConformanceRequirement(swift::ArchetypeBuilder::PotentialArchetype*, swift::ProtocolDecl*, swift::RequirementSource, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 225
14 swift-ide-test 0x0000000000a9392f swift::ArchetypeBuilder::visitInherited(llvm::ArrayRef<swift::TypeLoc>, llvm::function_ref<bool (swift::Type, swift::SourceLoc)>) + 175
15 swift-ide-test 0x0000000000a91d7b swift::ArchetypeBuilder::addAbstractTypeParamRequirements(swift::AbstractTypeParamDecl*, swift::ArchetypeBuilder::PotentialArchetype*, swift::RequirementSource::Kind, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 603
16 swift-ide-test 0x0000000000a91afc swift::ArchetypeBuilder::addGenericParameterRequirements(swift::GenericTypeParamDecl*) + 172
17 swift-ide-test 0x000000000094fe67 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 391
18 swift-ide-test 0x000000000095171f swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143
19 swift-ide-test 0x0000000000951ad4 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
20 swift-ide-test 0x000000000092c2b1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1153
21 swift-ide-test 0x0000000000b75afc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
22 swift-ide-test 0x00000000009548ba swift::TypeChecker::lookupMemberType(swift::DeclContext*, swift::Type, swift::Identifier, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 282
24 swift-ide-test 0x000000000097daee swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
26 swift-ide-test 0x000000000097d9e4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
27 swift-ide-test 0x0000000000929e21 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
28 swift-ide-test 0x000000000094fe55 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 373
30 swift-ide-test 0x000000000095027c swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) + 124
33 swift-ide-test 0x000000000092c150 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 800
34 swift-ide-test 0x0000000000b75afc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
35 swift-ide-test 0x00000000009548ba swift::TypeChecker::lookupMemberType(swift::DeclContext*, swift::Type, swift::Identifier, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 282
37 swift-ide-test 0x000000000097daee swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
39 swift-ide-test 0x000000000097d9e4 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
40 swift-ide-test 0x00000000009ef5b2 swift::IterativeTypeChecker::processResolveInheritedClauseEntry(std::pair<llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>, unsigned int>, llvm::function_ref<bool (swift::TypeCheckRequest)>) + 146
41 swift-ide-test 0x00000000009ee83d swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 493
42 swift-ide-test 0x00000000009ee9c9 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) + 889
43 swift-ide-test 0x00000000009289f0 swift::TypeChecker::resolveInheritedProtocols(swift::ProtocolDecl*) + 64
44 swift-ide-test 0x0000000000a92011 swift::ArchetypeBuilder::addConformanceRequirement(swift::ArchetypeBuilder::PotentialArchetype*, swift::ProtocolDecl*, swift::RequirementSource, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 225
47 swift-ide-test 0x0000000000a9392f swift::ArchetypeBuilder::visitInherited(llvm::ArrayRef<swift::TypeLoc>, llvm::function_ref<bool (swift::Type, swift::SourceLoc)>) + 175
48 swift-ide-test 0x0000000000a91d7b swift::ArchetypeBuilder::addAbstractTypeParamRequirements(swift::AbstractTypeParamDecl*, swift::ArchetypeBuilder::PotentialArchetype*, swift::RequirementSource::Kind, llvm::SmallPtrSetImpl<swift::ProtocolDecl*>&) + 603
49 swift-ide-test 0x0000000000a91afc swift::ArchetypeBuilder::addGenericParameterRequirements(swift::GenericTypeParamDecl*) + 172
50 swift-ide-test 0x000000000094fe67 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 391
51 swift-ide-test 0x000000000095171f swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143
52 swift-ide-test 0x0000000000951ad4 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
53 swift-ide-test 0x000000000092c2b1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1153
56 swift-ide-test 0x0000000000931967 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
57 swift-ide-test 0x00000000008fd9f2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
58 swift-ide-test 0x000000000076b262 swift::CompilerInstance::performSema() + 2946
59 swift-ide-test 0x0000000000714b67 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking 'e' at <INPUT-FILE>:3:1
2. While resolving type A.a at [<INPUT-FILE>:3:12 - line:3:14] RangeText="A.a"
3. While type-checking 'a' at <INPUT-FILE>:6:1
4. While resolving type A.c at [<INPUT-FILE>:6:10 - line:6:12] RangeText="A.c"
```
2015-12-23 12:20:54 +01:00
practicalswift
8281cf1004
[SourceKit] Add test case for crash triggered in swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*)
...
Stack trace:
```
found code completion token A at offset 151
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:237: typename cast_retty<X, Y *>::ret_type llvm::cast(Y *) [X = swift::AnyFunctionType, Y = swift::TypeBase]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
14 swift-ide-test 0x00000000009cba28 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) + 104
15 swift-ide-test 0x00000000009d02de swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) + 4046
16 swift-ide-test 0x0000000000910c25 swift::TypeChecker::solveForExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::FreeTypeVariableBinding, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem&, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>) + 661
17 swift-ide-test 0x0000000000917039 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 569
18 swift-ide-test 0x0000000000918150 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
19 swift-ide-test 0x00000000009182f9 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
24 swift-ide-test 0x0000000000931967 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
25 swift-ide-test 0x00000000008fd9f2 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1474
26 swift-ide-test 0x000000000076b262 swift::CompilerInstance::performSema() + 2946
27 swift-ide-test 0x0000000000714b67 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking 'T' at <INPUT-FILE>:2:1
2. While type-checking expression at [<INPUT-FILE>:2:15 - line:2:26] RangeText="Dictionary<T"
```
2015-12-23 09:36:18 +01:00
Chris Lattner
1a090b0c04
This test got fixed along the way.
2015-12-22 20:21:12 -08:00
practicalswift
6780250fa0
[SourceKit] Add test case for crash triggered in swift::ValueDecl::setType(swift::Type)
...
Stack trace:
```
found code completion token A at offset 175
swift-ide-test: /path/to/swift/lib/AST/Decl.cpp:1730: void swift::ValueDecl::setType(swift::Type): Assertion `!hasType() && "changing type of declaration"' failed.
8 swift-ide-test 0x0000000000b3695c swift::ValueDecl::setType(swift::Type) + 92
11 swift-ide-test 0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
12 swift-ide-test 0x00000000009915b7 swift::TypeChecker::addImplicitDestructor(swift::ClassDecl*) + 311
17 swift-ide-test 0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
20 swift-ide-test 0x0000000000978b9a swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) + 218
21 swift-ide-test 0x00000000009b0cfc swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) + 812
22 swift-ide-test 0x00000000009169fb swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*) + 683
23 swift-ide-test 0x0000000000917aa0 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*) + 112
24 swift-ide-test 0x0000000000917c49 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int) + 265
26 swift-ide-test 0x000000000092c6e4 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 3940
27 swift-ide-test 0x0000000000b750fc swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, unsigned int, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 2908
28 swift-ide-test 0x0000000000b73aec swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2252
29 swift-ide-test 0x000000000095355b swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
32 swift-ide-test 0x000000000097d43e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
34 swift-ide-test 0x000000000097d334 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
35 swift-ide-test 0x0000000000929771 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
36 swift-ide-test 0x000000000094f7a5 swift::TypeChecker::checkGenericParamList(swift::ArchetypeBuilder*, swift::GenericParamList*, swift::DeclContext*, bool, swift::GenericTypeResolver*) + 373
37 swift-ide-test 0x000000000095106f swift::TypeChecker::validateGenericSignature(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, std::function<bool (swift::ArchetypeBuilder&)>, bool&) + 143
38 swift-ide-test 0x0000000000951424 swift::TypeChecker::validateGenericTypeSignature(swift::NominalTypeDecl*) + 116
39 swift-ide-test 0x000000000092b8e1 swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 353
44 swift-ide-test 0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
45 swift-ide-test 0x00000000008fe9b2 swift::typeCheckCompletionDecl(swift::Decl*) + 1122
49 swift-ide-test 0x000000000085c263 swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 307
50 swift-ide-test 0x000000000076b1e4 swift::CompilerInstance::performSema() + 3316
51 swift-ide-test 0x0000000000714977 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While type-checking 'd' at <INPUT-FILE>:3:28
2. While resolving type a at [<INPUT-FILE>:3:48 - line:3:48] RangeText="a"
3. While type-checking expression at [<INPUT-FILE>:3:27 - line:3:50] RangeText="{class d:a{class B<b:a{"
4. While type-checking 'd' at <INPUT-FILE>:3:28
5. While type-checking 'deinit' at <INPUT-FILE>:3:44
```
2015-12-22 22:05:50 +01:00
Dmitri Gribenko
0dd03ba5c5
Merge pull request #720 from practicalswift/sourcekit-056-swift-archetypebuilder-getallarchetypes
...
[SourceKit] Add test case for crash triggered in swift::ArchetypeBuilder::getAllArchetypes()
2015-12-22 00:02:28 -08:00
practicalswift
e8d48e4b6c
[SourceKit] Add test case for crash triggered in swift::ArchetypeBuilder::getAllArchetypes()
...
Stack trace:
```
found code completion token A at offset 229
swift-ide-test: /path/to/swift/include/swift/AST/Types.h:3582: swift::ArchetypeType *swift::ArchetypeType::NestedType::castToArchetype() const: Assertion `!isConcreteType()' failed.
8 swift-ide-test 0x0000000000a94424 swift::ArchetypeBuilder::getAllArchetypes() + 564
12 swift-ide-test 0x00000000009312b7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
15 swift-ide-test 0x00000000009777db swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
16 swift-ide-test 0x000000000097761e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
17 swift-ide-test 0x0000000000900278 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
21 swift-ide-test 0x0000000000adf4d4 swift::Decl::walk(swift::ASTWalker&) + 20
22 swift-ide-test 0x0000000000b6918e swift::SourceFile::walk(swift::ASTWalker&) + 174
23 swift-ide-test 0x0000000000b683bf swift::ModuleDecl::walk(swift::ASTWalker&) + 79
24 swift-ide-test 0x0000000000b42522 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
25 swift-ide-test 0x000000000085c1ba swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
26 swift-ide-test 0x000000000076b1e4 swift::CompilerInstance::performSema() + 3316
27 swift-ide-test 0x0000000000714977 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While walking into decl getter for e at <INPUT-FILE>:3:6
2. While type-checking 'b' at <INPUT-FILE>:8:10
```
2015-12-22 08:47:29 +01:00
Dmitri Gribenko
d0a60f5f62
Merge pull request #611 from practicalswift/sourcekit-035-swift-typechecker-validatedecl
...
[SourceKit] Add test case for crash triggered in swift::TypeChecker::validateDecl(…)
2015-12-21 22:52:13 -08:00
Dmitri Gribenko
7eb30fc7b9
Merge pull request #712 from practicalswift/sourcekit-055-swift-valuedecl-getoverloadsignature
...
[SourceKit] Add test case for crash triggered in swift::ValueDecl::getOverloadSignature()
2015-12-21 22:51:50 -08:00
Dmitri Gribenko
48aa4a1eba
Re-enable validation-test/IDE/crashers/029-swift-decl-walk.swift
2015-12-21 22:21:04 -07:00
practicalswift
1725b49d9a
[SourceKit] Add test case for crash triggered in swift::ValueDecl::getOverloadSignature() const
...
Stack trace:
```
found code completion token A at offset 160
swift-ide-test: /path/to/swift/lib/AST/Decl.cpp:1769: swift::Type swift::ValueDecl::getInterfaceType() const: Assertion `(type.isNull() || !type->is<PolymorphicFunctionType>()) && "decl has polymorphic function type but no interface type"' failed.
9 swift-ide-test 0x0000000000b381ae swift::ValueDecl::getOverloadSignature() const + 398
13 swift-ide-test 0x0000000000931af7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
14 swift-ide-test 0x00000000008ff1f2 swift::typeCheckCompletionDecl(swift::Decl*) + 1122
19 swift-ide-test 0x0000000000ae1e34 swift::Decl::walk(swift::ASTWalker&) + 20
20 swift-ide-test 0x0000000000b6baee swift::SourceFile::walk(swift::ASTWalker&) + 174
21 swift-ide-test 0x0000000000b6ad1f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
22 swift-ide-test 0x0000000000b44e82 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
23 swift-ide-test 0x000000000085c9fa swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
24 swift-ide-test 0x000000000076ba24 swift::CompilerInstance::performSema() + 3316
25 swift-ide-test 0x00000000007151b7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While walking into decl getter for a at <INPUT-FILE>:2:6
2. While type-checking 'B' at <INPUT-FILE>:5:1
```
2015-12-21 20:24:04 +01:00
Dmitri Gribenko
25dd312219
Merge pull request #702 from practicalswift/sourcekit-054-swift-moduledecl-forallvisiblemodules
...
[SourceKit] Add test case for crash triggered in swift::ModuleDecl::forAllVisibleModules(…)
2015-12-21 00:01:11 -08:00
practicalswift
c0a40dbcd8
[SourceKit] Add test case for crash triggered in swift::ModuleDecl::forAllVisibleModules(llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, bool, llvm::function_ref<bool (std::pair<llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>)
...
Stack trace:
```
found code completion token A at offset 150
6 swift-ide-test 0x0000000000b6a8cd swift::ModuleDecl::forAllVisibleModules(llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, bool, llvm::function_ref<bool (std::pair<llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>) + 477
7 swift-ide-test 0x0000000000b6aa41 swift::FileUnit::forAllVisibleModules(llvm::function_ref<bool (std::pair<llvm::ArrayRef<std::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>)>) + 81
8 swift-ide-test 0x00000000008fdc00 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int) + 1376
9 swift-ide-test 0x000000000076b8b2 swift::CompilerInstance::performSema() + 2946
10 swift-ide-test 0x00000000007151b7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
```
2015-12-21 08:56:15 +01:00
Dmitri Gribenko
30cc5ca178
Merge pull request #700 from practicalswift/sourcekit-053-swift-typebase-getsuperclass
...
[SourceKit] Add test case for crash triggered in swift::TypeBase::getSuperclass(…)
2015-12-20 23:42:48 -08:00
practicalswift
f54663fb46
[SourceKit] Add test case for crash triggered in swift::TypeBase::getSuperclass(swift::LazyResolver*)
...
Stack trace:
```
found code completion token A at offset 163
swift-ide-test: /path/to/llvm/include/llvm/Support/Casting.h:237: typename cast_retty<X, Y *>::ret_type llvm::cast(Y *) [X = swift::BoundGenericType, Y = swift::TypeBase]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
8 swift-ide-test 0x0000000000b8e399 swift::TypeBase::getSuperclass(swift::LazyResolver*) + 857
9 swift-ide-test 0x0000000000937c11 swift::TypeChecker::defineDefaultConstructor(swift::NominalTypeDecl*) + 113
10 swift-ide-test 0x0000000000936e44 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) + 1332
11 swift-ide-test 0x000000000092a3dc swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 5996
12 swift-ide-test 0x000000000092c68a swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1738
13 swift-ide-test 0x0000000000b763bc swift::UnqualifiedLookup::UnqualifiedLookup(swift::DeclName, swift::DeclContext*, swift::LazyResolver*, bool, swift::SourceLoc, bool, bool) + 2108
14 swift-ide-test 0x0000000000953d9b swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) + 187
17 swift-ide-test 0x000000000097dc7e swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 158
19 swift-ide-test 0x000000000097db74 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) + 212
20 swift-ide-test 0x0000000000929fb1 swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) + 4929
21 swift-ide-test 0x000000000092c68a swift::TypeChecker::validateDecl(swift::ValueDecl*, bool) + 1738
24 swift-ide-test 0x0000000000931af7 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) + 151
27 swift-ide-test 0x000000000097801b swift::TypeChecker::typeCheckFunctionBodyUntil(swift::FuncDecl*, swift::SourceLoc) + 379
28 swift-ide-test 0x0000000000977e5e swift::TypeChecker::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 46
29 swift-ide-test 0x0000000000900ab8 swift::typeCheckAbstractFunctionBodyUntil(swift::AbstractFunctionDecl*, swift::SourceLoc) + 1128
47 swift-ide-test 0x0000000000ae1e34 swift::Decl::walk(swift::ASTWalker&) + 20
48 swift-ide-test 0x0000000000b6baee swift::SourceFile::walk(swift::ASTWalker&) + 174
49 swift-ide-test 0x0000000000b6ad1f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
50 swift-ide-test 0x0000000000b44e82 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
51 swift-ide-test 0x000000000085c9fa swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
52 swift-ide-test 0x000000000076ba24 swift::CompilerInstance::performSema() + 3316
53 swift-ide-test 0x00000000007151b7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While walking into decl declaration 0x5f070c0 at <INPUT-FILE>:2:1
2. While type-checking 'a' at <INPUT-FILE>:2:50
3. While resolving type c at [<INPUT-FILE>:2:58 - line:2:58] RangeText="c"
4. While defining default constructor for 'd' at <INPUT-FILE>:2:24
```
2015-12-21 08:39:25 +01:00
practicalswift
dbcc6eeb1c
[SourceKit] Add test case for crash triggered in swift::Mangle::Mangler::mangleGenericSignatureParts(llvm::ArrayRef<swift::GenericTypeParamType*>, unsigned int, llvm::ArrayRef<swift::Requirement>, swift::ResilienceExpansion)
...
Stack trace:
```
found code completion token A at offset 202
swift-ide-test: /path/to/swift/lib/AST/Mangle.cpp:731: void swift::Mangle::Mangler::mangleGenericSignatureParts(ArrayRef<swift::GenericTypeParamType *>, unsigned int, ArrayRef<swift::Requirement>, swift::ResilienceExpansion): Assertion `param->getDepth() > depth && "generic params not ordered"' failed.
8 swift-ide-test 0x0000000000b609bd swift::Mangle::Mangler::mangleGenericSignatureParts(llvm::ArrayRef<swift::GenericTypeParamType*>, unsigned int, llvm::ArrayRef<swift::Requirement>, swift::ResilienceExpansion) + 1053
9 swift-ide-test 0x0000000000b5ff45 swift::Mangle::Mangler::mangleDeclType(swift::ValueDecl const*, swift::ResilienceExpansion, unsigned int) + 213
10 swift-ide-test 0x0000000000b9b67f swift::ide::printDeclUSR(swift::ValueDecl const*, llvm::raw_ostream&) + 815
12 swift-ide-test 0x0000000000773918 copyAssociatedUSRs(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&, swift::Decl const*) + 104
13 swift-ide-test 0x0000000000774098 swift::ide::CodeCompletionResultBuilder::takeResult() + 1624
17 swift-ide-test 0x0000000000b574bb swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 555
22 swift-ide-test 0x0000000000ae1e34 swift::Decl::walk(swift::ASTWalker&) + 20
23 swift-ide-test 0x0000000000b6baee swift::SourceFile::walk(swift::ASTWalker&) + 174
24 swift-ide-test 0x0000000000b6ad1f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
25 swift-ide-test 0x0000000000b44e82 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
26 swift-ide-test 0x000000000085c9fa swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
27 swift-ide-test 0x000000000076ba24 swift::CompilerInstance::performSema() + 3316
28 swift-ide-test 0x00000000007151b7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While walking into decl getter for b at <INPUT-FILE>:3:6
```
2015-12-21 07:41:31 +01:00
Dmitri Gribenko
6171db8d3d
Merge pull request #689 from practicalswift/sourcekit-051-swift-mangle-mangler-mangleassociatedtypename
...
[SourceKit] Add test case for crash triggered in swift::Mangle::Mangler::mangleAssociatedTypeName(…)
2015-12-20 15:11:35 -08:00
Dmitri Gribenko
8c627caae7
Merge pull request #687 from practicalswift/re-add-sourcekit-bug-024-as-crash
...
Re-add SourceKit crash previously marked as fixed
2015-12-20 15:11:21 -08:00
practicalswift
973740ecf5
[SourceKit] Add test case for crash triggered in swift::Mangle::Mangler::mangleAssociatedTypeName(swift::DependentMemberType*, bool)
...
Stack trace:
```
found code completion token A at offset 167
4 swift-ide-test 0x0000000000b6105e swift::Mangle::Mangler::mangleAssociatedTypeName(swift::DependentMemberType*, bool) + 174
5 swift-ide-test 0x0000000000b5ecb2 swift::Mangle::Mangler::mangleType(swift::Type, swift::ResilienceExpansion, unsigned int) + 3346
6 swift-ide-test 0x0000000000b6027e swift::Mangle::Mangler::mangleDeclType(swift::ValueDecl const*, swift::ResilienceExpansion, unsigned int) + 238
7 swift-ide-test 0x0000000000b5cf10 swift::Mangle::Mangler::mangleNominalType(swift::NominalTypeDecl const*, swift::ResilienceExpansion, swift::Mangle::Mangler::BindGenerics, swift::CanGenericSignature, swift::GenericParamList const*) + 256
8 swift-ide-test 0x0000000000b9b942 swift::ide::printDeclUSR(swift::ValueDecl const*, llvm::raw_ostream&) + 722
10 swift-ide-test 0x0000000000773a18 copyAssociatedUSRs(llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul>&, swift::Decl const*) + 104
11 swift-ide-test 0x0000000000774198 swift::ide::CodeCompletionResultBuilder::takeResult() + 1624
14 swift-ide-test 0x0000000000b577db swift::lookupVisibleDecls(swift::VisibleDeclConsumer&, swift::DeclContext const*, swift::LazyResolver*, bool, swift::SourceLoc) + 555
18 swift-ide-test 0x0000000000ae2154 swift::Decl::walk(swift::ASTWalker&) + 20
19 swift-ide-test 0x0000000000b6be0e swift::SourceFile::walk(swift::ASTWalker&) + 174
20 swift-ide-test 0x0000000000b6b03f swift::ModuleDecl::walk(swift::ASTWalker&) + 79
21 swift-ide-test 0x0000000000b451a2 swift::DeclContext::walkContext(swift::ASTWalker&) + 146
22 swift-ide-test 0x000000000085cd1a swift::performDelayedParsing(swift::DeclContext*, swift::PersistentParserState&, swift::CodeCompletionCallbacksFactory*) + 138
23 swift-ide-test 0x000000000076bb24 swift::CompilerInstance::performSema() + 3316
24 swift-ide-test 0x00000000007152b7 main + 33239
Stack dump:
0. Program arguments: swift-ide-test -code-completion -code-completion-token=A -source-filename=<INPUT-FILE>
1. While walking into decl getter for b at <INPUT-FILE>:3:6
```
2015-12-20 22:08:30 +01:00
