averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
184,017 Commits 622 Branches 2,942 Tags
maxd/docc-compiler-docs
Commit Graph

1575 Commits

Author SHA1 Message Date
practicalswift
aacc765244 [swiftc (21 vs. 5563)] Add crasher in swift::TypeBase::getCanonicalType(...) 
Add test case for crash triggered in `swift::TypeBase::getCanonicalType(...)`.

Current number of unresolved compiler crashers: 21 (5563 resolved)

/cc @slavapestov - just wanted to let you know that this crasher caused an assertion failure for the assertion `gpDecl->getDepth() != GenericTypeParamDecl::InvalidDepth && "parameter hasn't been validated"` added on 2017-02-22 by you in commit fdb0a186 :-)

Assertion failure in [`lib/AST/Type.cpp (line 1093)`](ca3227f93c/lib/AST/Type.cpp (L1093)):

```
Assertion `gpDecl->getDepth() != GenericTypeParamDecl::InvalidDepth && "parameter hasn't been validated"' failed.

When executing: swift::CanType swift::TypeBase::getCanonicalType()
```

Assertion context:

```c++

  case TypeKind::GenericTypeParam: {
    GenericTypeParamType *gp = cast<GenericTypeParamType>(this);
    auto gpDecl = gp->getDecl();
    assert(gpDecl->getDepth() != GenericTypeParamDecl::InvalidDepth &&
           "parameter hasn't been validated");
    Result = GenericTypeParamType::get(gpDecl->getDepth(), gpDecl->getIndex(),
                                       gpDecl->getASTContext());
    break;
  }

```
Stack trace:

```
0 0x0000000003a5fdb8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5fdb8)
1 0x0000000003a604f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a604f6)
2 0x00007f06d3824390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f06d1d4a428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f06d1d4c02a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f06d1d42bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f06d1d42c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000015b2461 swift::TypeBase::getCanonicalType() (/path/to/swift/bin/swift+0x15b2461)
8 0x00000000014945e5 swift::DependentMemberType::get(swift::Type, swift::AssociatedTypeDecl*) (/path/to/swift/bin/swift+0x14945e5)
9 0x0000000001563fea swift::GenericSignatureBuilder::addConformanceRequirement(swift::GenericSignatureBuilder::PotentialArchetype*, swift::ProtocolDecl*, swift::GenericSignatureBuilder::RequirementSource const*) (/path/to/swift/bin/swift+0x1563fea)
10 0x0000000001567945 swift::GenericSignatureBuilder::addTypeRequirement(llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::FloatingRequirementSource, swift::GenericSignatureBuilder::UnresolvedHandlingKind) (/path/to/swift/bin/swift+0x1567945)
11 0x0000000001579321 swift::GenericSignatureBuilder::ConstraintResult llvm::function_ref<swift::GenericSignatureBuilder::ConstraintResult (swift::Type, swift::TypeRepr const*)>::callback_fn<swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*)::$_26>(long, swift::Type, swift::TypeRepr const*) (/path/to/swift/bin/swift+0x1579321)
12 0x0000000001571a92 std::_Function_handler<void (swift::Type, swift::TypeRepr const*), visitInherited(llvm::ArrayRef<swift::TypeLoc>, llvm::function_ref<swift::GenericSignatureBuilder::ConstraintResult (swift::Type, swift::TypeRepr const*)>)::$_60>::_M_invoke(std::_Any_data const&, swift::Type&&, swift::TypeRepr const*&&) (/path/to/swift/bin/swift+0x1571a92)
13 0x0000000001563a41 swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*) (/path/to/swift/bin/swift+0x1563a41)
14 0x000000000156385e swift::GenericSignatureBuilder::addGenericParameterRequirements(swift::GenericTypeParamDecl*) (/path/to/swift/bin/swift+0x156385e)
15 0x000000000136eff2 swift::TypeChecker::checkGenericParamList(swift::GenericSignatureBuilder*, swift::GenericParamList*, swift::GenericSignature*, swift::GenericTypeResolver*) (/path/to/swift/bin/swift+0x136eff2)
16 0x0000000001372945 visitOuterToInner(swift::GenericParamList*, llvm::function_ref<void (swift::GenericParamList*)>) (/path/to/swift/bin/swift+0x1372945)
17 0x00000000013725ad swift::TypeChecker::checkGenericEnvironment(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, bool, llvm::function_ref<void (swift::GenericSignatureBuilder&)>) (/path/to/swift/bin/swift+0x13725ad)
18 0x00000000013729f9 swift::TypeChecker::validateGenericTypeSignature(swift::GenericTypeDecl*) (/path/to/swift/bin/swift+0x13729f9)
19 0x0000000001343ccd swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x1343ccd)
20 0x00000000013536b3 (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x13536b3)
21 0x0000000001341e84 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341e84)
22 0x00000000013521cb (anonymous namespace)::DeclChecker::visitExtensionDecl(swift::ExtensionDecl*) (/path/to/swift/bin/swift+0x13521cb)
23 0x0000000001341eb4 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341eb4)
24 0x0000000001341d83 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341d83)
25 0x00000000013ccaf5 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13ccaf5)
26 0x0000000000f93b16 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93b16)
27 0x00000000004ab3d9 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4ab3d9)
28 0x00000000004a996c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a996c)
29 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
30 0x00007f06d1d35830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
31 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-19 01:08:58 +02:00
Slava Pestov
773d7b3225 Sema: Remove more methods from GenericTypeResolver 
resolveGenericTypeParamType(), resolveTypeOfDecl() and
resolveTypeOfContext() would all take the type of a
declaration, and optionally map it into context.

Replace them with a mapTypeIntoContext() that takes a
type and either returns it verbatim or maps it into
context.
 2017-06-15 21:31:35 -07:00
Slava Pestov
d1610a5536 Sema: Kill GenericTypeResolver::resolveSelfAssociatedType() 2017-06-15 18:37:16 -07:00
Doug Gregor
622e3a6342 Fixed a compiler crasher 2017-06-14 23:23:53 -07:00
Slava Pestov
c4df92aef3 Sema: Clean up 'dynamic' inference a bit 2017-06-07 17:55:42 -07:00
Slava Pestov
c152fee9f8 Sema: A couple of recursion-breaking hacks 2017-06-07 17:19:09 -07:00
Slava Pestov
00997138b5 Sema: Fix crash with associated type <=> typealias circularity 2017-06-06 23:56:34 -07:00
Slava Pestov
ec60c88412 Sema: Use requirement signature to check type witnesses 2017-06-06 23:56:33 -07:00
Slava Pestov
18082b1b3f Sema: Don't set "validation started" bit on typealiases in the ITC 
This appears to do nothing except cause a crash.
 2017-06-06 23:56:33 -07:00
Slava Pestov
c49a1d77d2 AST: Stricter DeclContext::getParentForLookup() 2017-06-06 23:56:32 -07:00
Slava Pestov
9e1f60d751 Sema: Skip an invalid kind of nested type in name lookup 2017-06-06 23:56:31 -07:00
Slava Pestov
55ffbe8cce AST: Fix Type::transform() for protocol compositions 
There was undefined behavior here; we were calling
members.append(members.begin(), members.begin() + index),
which is invalid because 'members' is the new array of
members being built, which is empty at this point!
 2017-06-06 23:27:54 -07:00
Slava Pestov
1bd91dee5c Sema: Fix crash with unbound generic types in patterns 2017-06-06 00:35:02 -07:00
Slava Pestov
e5becab4ac Sema: Fix crashes when applying solution with error types or unresolved types 2017-06-05 23:50:30 -07:00
Slava Pestov
433b7f276e Sema: Fix bug with name lookup from initializers 2017-06-05 23:11:53 -07:00
practicalswift
d32e2f6749 [swiftc (39 vs. 5544)] Add crasher in swift::GenericEnvironment::QueryInterfaceTypeSubstitutions::operator(...) 
Add test case for crash triggered in `swift::GenericEnvironment::QueryInterfaceTypeSubstitutions::operator(...)`.

Current number of unresolved compiler crashers: 39 (5544 resolved)

Stack trace:

```
0 0x0000000003a5ed38 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5ed38)
1 0x0000000003a5f476 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f476)
2 0x00007fc68e117390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x000000000155199d swift::GenericEnvironment::QueryInterfaceTypeSubstitutions::operator()(swift::SubstitutableType*) const (/path/to/swift/bin/swift+0x155199d)
4 0x0000000001551b37 swift::GenericEnvironment::mapTypeIntoContext(swift::GenericTypeParamType*) const (/path/to/swift/bin/swift+0x1551b37)
5 0x00000000013bbe48 swift::TypeChecker::resolveTypeInContext(swift::TypeDecl*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*) (/path/to/swift/bin/swift+0x13bbe48)
6 0x00000000013c3b2e resolveTypeDecl(swift::TypeChecker&, swift::TypeDecl*, swift::SourceLoc, swift::DeclContext*, swift::GenericIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13c3b2e)
7 0x00000000013c371f resolveTopLevelIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, swift::ComponentIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13c371f)
8 0x00000000013bdbc3 resolveIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, llvm::ArrayRef<swift::ComponentIdentTypeRepr*>, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bdbc3)
9 0x00000000013bd599 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bd599)
10 0x00000000013be308 (anonymous namespace)::TypeResolver::resolveType(swift::TypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>) (/path/to/swift/bin/swift+0x13be308)
11 0x00000000013be20c swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13be20c)
12 0x00000000013bcc60 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bcc60)
13 0x000000000133a76c swift::TypeChecker::checkInheritanceClause(swift::Decl*, swift::GenericTypeResolver*) (/path/to/swift/bin/swift+0x133a76c)
14 0x00000000013431e6 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x13431e6)
15 0x0000000001374b1d swift::TypeChecker::lookupMemberType(swift::DeclContext*, swift::Type, swift::Identifier, swift::OptionSet<swift::NameLookupFlags, unsigned int>) (/path/to/swift/bin/swift+0x1374b1d)
16 0x00000000013bddeb resolveIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, llvm::ArrayRef<swift::ComponentIdentTypeRepr*>, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bddeb)
17 0x00000000013bd599 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bd599)
18 0x00000000013be308 (anonymous namespace)::TypeResolver::resolveType(swift::TypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>) (/path/to/swift/bin/swift+0x13be308)
19 0x00000000013be20c swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13be20c)
20 0x00000000013bcc60 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bcc60)
21 0x0000000001478706 swift::IterativeTypeChecker::processResolveInheritedClauseEntry(std::pair<llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>, unsigned int>, llvm::function_ref<bool (swift::TypeCheckRequest)>) (/path/to/swift/bin/swift+0x1478706)
22 0x0000000001442566 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1442566)
23 0x0000000001339949 swift::TypeChecker::resolveInheritanceClause(llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>) (/path/to/swift/bin/swift+0x1339949)
24 0x0000000001562a74 swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*) (/path/to/swift/bin/swift+0x1562a74)
25 0x0000000001563144 swift::GenericSignatureBuilder::addConformanceRequirement(swift::GenericSignatureBuilder::PotentialArchetype*, swift::ProtocolDecl*, swift::GenericSignatureBuilder::RequirementSource const*) (/path/to/swift/bin/swift+0x1563144)
26 0x0000000001566a75 swift::GenericSignatureBuilder::addTypeRequirement(llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::FloatingRequirementSource, swift::GenericSignatureBuilder::UnresolvedHandlingKind) (/path/to/swift/bin/swift+0x1566a75)
27 0x00000000015782c1 swift::GenericSignatureBuilder::ConstraintResult llvm::function_ref<swift::GenericSignatureBuilder::ConstraintResult (swift::Type, swift::TypeRepr const*)>::callback_fn<swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*)::$_26>(long, swift::Type, swift::TypeRepr const*) (/path/to/swift/bin/swift+0x15782c1)
28 0x0000000001570a32 std::_Function_handler<void (swift::Type, swift::TypeRepr const*), visitInherited(llvm::ArrayRef<swift::TypeLoc>, llvm::function_ref<swift::GenericSignatureBuilder::ConstraintResult (swift::Type, swift::TypeRepr const*)>)::$_57>::_M_invoke(std::_Any_data const&, swift::Type&&, swift::TypeRepr const*&&) (/path/to/swift/bin/swift+0x1570a32)
29 0x0000000001562b71 swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*) (/path/to/swift/bin/swift+0x1562b71)
30 0x000000000156298e swift::GenericSignatureBuilder::addGenericParameterRequirements(swift::GenericTypeParamDecl*) (/path/to/swift/bin/swift+0x156298e)
31 0x000000000136e712 swift::TypeChecker::checkGenericParamList(swift::GenericSignatureBuilder*, swift::GenericParamList*, swift::GenericSignature*, swift::GenericTypeResolver*) (/path/to/swift/bin/swift+0x136e712)
32 0x0000000001371cf4 swift::TypeChecker::checkGenericEnvironment(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, bool, llvm::function_ref<void (swift::GenericSignatureBuilder&)>) (/path/to/swift/bin/swift+0x1371cf4)
33 0x0000000001372119 swift::TypeChecker::validateGenericTypeSignature(swift::GenericTypeDecl*) (/path/to/swift/bin/swift+0x1372119)
34 0x0000000001343372 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x1343372)
35 0x0000000001352f63 (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x1352f63)
36 0x0000000001341544 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341544)
37 0x0000000001341443 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341443)
38 0x00000000013cbb95 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cbb95)
39 0x0000000000f93236 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93236)
40 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
41 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
42 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
43 0x00007fc68c628830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
44 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-06 05:59:25 +02:00
practicalswift
745cfc6cfc [swiftc (38 vs. 5544)] Add crasher in swift::constraints::ConstraintSystem::addConstraint 
Add test case for crash triggered in `swift::constraints::ConstraintSystem::addConstraint`.

Current number of unresolved compiler crashers: 38 (5544 resolved)

Stack trace:

```
0 0x0000000003a5ed38 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5ed38)
1 0x0000000003a5f476 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f476)
2 0x00007fafc563e390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007fafc3b64428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007fafc3b6602a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00000000039fb3dd llvm::llvm_unreachable_internal(char const*, char const*, unsigned int) (/path/to/swift/bin/swift+0x39fb3dd)
6 0x00000000012dc21e swift::constraints::ConstraintSystem::addConstraint(swift::constraints::ConstraintKind, swift::Type, swift::Type, swift::constraints::ConstraintLocatorBuilder, bool) (/path/to/swift/bin/swift+0x12dc21e)
7 0x00000000012d3c49 (anonymous namespace)::ConstraintGenerator::visitApplyExpr(swift::ApplyExpr*) (/path/to/swift/bin/swift+0x12d3c49)
8 0x00000000012cded8 (anonymous namespace)::ConstraintWalker::walkToExprPost(swift::Expr*) (/path/to/swift/bin/swift+0x12cded8)
9 0x000000000150aecc swift::Expr::walk(swift::ASTWalker&) (/path/to/swift/bin/swift+0x150aecc)
10 0x00000000012c4a71 swift::constraints::ConstraintSystem::generateConstraints(swift::Expr*) (/path/to/swift/bin/swift+0x12c4a71)
11 0x00000000012ee3f6 swift::constraints::ConstraintSystem::solve(swift::Expr*&, swift::Type, swift::ExprTypeCheckListener*, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) (/path/to/swift/bin/swift+0x12ee3f6)
12 0x0000000001326e54 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>) (/path/to/swift/bin/swift+0x1326e54)
13 0x000000000132a7d2 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132a7d2)
14 0x000000000132e924 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*, bool) (/path/to/swift/bin/swift+0x132e924)
15 0x000000000132eb86 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int, bool) (/path/to/swift/bin/swift+0x132eb86)
16 0x0000000001347268 validatePatternBindingEntries(swift::TypeChecker&, swift::PatternBindingDecl*) (/path/to/swift/bin/swift+0x1347268)
17 0x000000000134158d (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x134158d)
18 0x00000000013521db (anonymous namespace)::DeclChecker::visitClassDecl(swift::ClassDecl*) (/path/to/swift/bin/swift+0x13521db)
19 0x000000000134163e (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x134163e)
20 0x000000000135327b (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x135327b)
21 0x0000000001341544 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341544)
22 0x0000000001341443 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341443)
23 0x00000000013cbb95 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cbb95)
24 0x0000000000f93236 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93236)
25 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
26 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
27 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
28 0x00007fafc3b4f830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
29 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-06 04:25:54 +02:00
practicalswift
6a3d57378b [swiftc (37 vs. 5544)] Add crasher in swift::TypeChecker::checkDeclAttributesEarly(...) 
Add test case for crash triggered in `swift::TypeChecker::checkDeclAttributesEarly(...)`.

Current number of unresolved compiler crashers: 37 (5544 resolved)

/cc @DougGregor - just wanted to let you know that this crasher caused an assertion failure for the assertion `loc.isValid() && "Diagnosing attribute with invalid location"` added on 2017-04-22 by you in commit 25ce6fa2 :-)

Assertion failure in [`lib/Sema/TypeCheckAttr.cpp (line 39)`](df10b0fe02/lib/Sema/TypeCheckAttr.cpp (L39)):

```
Assertion `loc.isValid() && "Diagnosing attribute with invalid location"' failed.

When executing: void (anonymous namespace)::diagnoseAndRemoveAttr(swift::TypeChecker &, swift::Decl *, swift::DeclAttribute *, ArgTypes &&...) [ArgTypes = <swift::Diag<> &>]
```

Assertion context:

```c++
  void diagnoseAndRemoveAttr(TypeChecker &TC, Decl *D, DeclAttribute *attr,
                             ArgTypes &&...Args) {
    assert(!D->hasClangNode() && "Clang imported propagated a bogus attribute");
    if (!D->hasClangNode()) {
      SourceLoc loc = attr->getLocation();
      assert(loc.isValid() && "Diagnosing attribute with invalid location");
      if (loc.isInvalid()) {
        loc = D->getLoc();
      }
      if (loc.isValid()) {
        TC.diagnose(loc, std::forward<ArgTypes>(Args)...)
```
Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007f46fccd0390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f46fb1f6428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f46fb1f802a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f46fb1eebd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f46fb1eec82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000014612fd (/path/to/swift/bin/swift+0x14612fd)
8 0x000000000145bc70 swift::TypeChecker::checkDeclAttributesEarly(swift::Decl*) (/path/to/swift/bin/swift+0x145bc70)
9 0x0000000001354bbc (anonymous namespace)::DeclChecker::visitFuncDecl(swift::FuncDecl*) (/path/to/swift/bin/swift+0x1354bbc)
10 0x0000000001341454 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341454)
11 0x000000000134346d swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x134346d)
12 0x000000000134809d validateAbstractStorageDecl(swift::AbstractStorageDecl*, swift::TypeChecker&) (/path/to/swift/bin/swift+0x134809d)
13 0x00000000013441b1 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x13441b1)
14 0x0000000001358ae3 std::_Function_handler<void (swift::VarDecl*), (anonymous namespace)::DeclChecker::visitBoundVars(swift::Pattern*)::{lambda(swift::VarDecl*)#1}>::_M_invoke(std::_Any_data const&, swift::VarDecl*&&) (/path/to/swift/bin/swift+0x1358ae3)
15 0x000000000159ff1f swift::Pattern::forEachVariable(std::function<void (swift::VarDecl*)> const&) const (/path/to/swift/bin/swift+0x159ff1f)
16 0x00000000013415f2 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x13415f2)
17 0x00000000013520cb (anonymous namespace)::DeclChecker::visitClassDecl(swift::ClassDecl*) (/path/to/swift/bin/swift+0x13520cb)
18 0x000000000134152e (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x134152e)
19 0x0000000001341333 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341333)
20 0x00000000013cba85 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cba85)
21 0x0000000000f93106 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93106)
22 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
23 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
24 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
25 0x00007f46fb1e1830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
26 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-06 02:38:35 +02:00
practicalswift
5ae6f648c9 [swiftc (36 vs. 5544)] Add crasher in swift::GenericSignatureBuilder::addSameTypeRequirementDirect 
Add test case for crash triggered in `swift::GenericSignatureBuilder::addSameTypeRequirementDirect`.

Current number of unresolved compiler crashers: 36 (5544 resolved)

Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007f58a3639390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f58a1b5f428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f58a1b6102a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00000000039fb95d llvm::llvm_unreachable_internal(char const*, char const*, unsigned int) (/path/to/swift/bin/swift+0x39fb95d)
6 0x00000000015778b4 bool swift::CanTypeVisitor<swift::TypeMatcher<swift::GenericSignatureBuilder::addSameTypeRequirementBetweenConcrete(swift::Type, swift::Type, swift::GenericSignatureBuilder::FloatingRequirementSource, llvm::function_ref<void (swift::Type, swift::Type)>)::ReqTypeMatcher>::MatchVisitor, bool, swift::Type, swift::Type>::visit<>(swift::CanType, swift::Type, swift::Type) (/path/to/swift/bin/swift+0x15778b4)
7 0x0000000001569002 swift::GenericSignatureBuilder::addSameTypeRequirementDirect(swift::GenericSignatureBuilder::ResolvedType, swift::GenericSignatureBuilder::ResolvedType, swift::GenericSignatureBuilder::FloatingRequirementSource, llvm::function_ref<void (swift::Type, swift::Type)>) (/path/to/swift/bin/swift+0x1569002)
8 0x000000000156834c swift::GenericSignatureBuilder::addSameTypeRequirement(llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::FloatingRequirementSource, swift::GenericSignatureBuilder::UnresolvedHandlingKind, llvm::function_ref<void (swift::Type, swift::Type)>) (/path/to/swift/bin/swift+0x156834c)
9 0x0000000001568767 swift::GenericSignatureBuilder::addSameTypeRequirementToConcrete(swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type, swift::GenericSignatureBuilder::RequirementSource const*) (/path/to/swift/bin/swift+0x1568767)
10 0x000000000156834c swift::GenericSignatureBuilder::addSameTypeRequirement(llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::FloatingRequirementSource, swift::GenericSignatureBuilder::UnresolvedHandlingKind, llvm::function_ref<void (swift::Type, swift::Type)>) (/path/to/swift/bin/swift+0x156834c)
11 0x000000000155f5ce swift::GenericSignatureBuilder::PotentialArchetype::updateNestedTypeForConformance(llvm::PointerUnion<swift::AssociatedTypeDecl*, swift::TypeDecl*>, swift::GenericSignatureBuilder::PotentialArchetype::NestedTypeUpdate) (/path/to/swift/bin/swift+0x155f5ce)
12 0x000000000155e112 swift::GenericSignatureBuilder::PotentialArchetype::getNestedArchetypeAnchor(swift::Identifier, swift::GenericSignatureBuilder&, swift::GenericSignatureBuilder::PotentialArchetype::NestedTypeUpdate) (/path/to/swift/bin/swift+0x155e112)
13 0x000000000156c59c swift::GenericSignatureBuilder::checkSameTypeConstraints(llvm::ArrayRef<swift::GenericTypeParamType*>, swift::GenericSignatureBuilder::PotentialArchetype*) (/path/to/swift/bin/swift+0x156c59c)
14 0x0000000001569840 swift::GenericSignatureBuilder::finalize(swift::SourceLoc, llvm::ArrayRef<swift::GenericTypeParamType*>, bool) (/path/to/swift/bin/swift+0x1569840)
15 0x0000000001371c20 swift::TypeChecker::checkGenericEnvironment(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, bool, llvm::function_ref<void (swift::GenericSignatureBuilder&)>) (/path/to/swift/bin/swift+0x1371c20)
16 0x0000000001372009 swift::TypeChecker::validateGenericTypeSignature(swift::GenericTypeDecl*) (/path/to/swift/bin/swift+0x1372009)
17 0x0000000001343262 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x1343262)
18 0x0000000001352e53 (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x1352e53)
19 0x0000000001341434 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341434)
20 0x0000000001341333 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341333)
21 0x00000000013cba85 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cba85)
22 0x0000000000f93106 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93106)
23 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
24 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
25 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
26 0x00007f58a1b4a830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
27 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-06 01:03:44 +02:00
practicalswift
067249ac3f [swiftc (35 vs. 5544)] Add crasher in swift::TypeChecker::resolveTypeInContext 
Add test case for crash triggered in `swift::TypeChecker::resolveTypeInContext`.

Current number of unresolved compiler crashers: 35 (5544 resolved)

/cc @huonw - just wanted to let you know that this crasher caused an assertion failure for the assertion `selfTy->isEqual(Proto->getSelfInterfaceType())` added on 2017-02-24 by you in commit 76525439 :-)

Assertion failure in [`lib/Sema/TypeCheckGeneric.cpp (line 134)`](69aca7a4c1/lib/Sema/TypeCheckGeneric.cpp (L134)):

```
Assertion `selfTy->isEqual(Proto->getSelfInterfaceType())' failed.

When executing: virtual swift::Type swift::ProtocolRequirementTypeResolver::resolveSelfAssociatedType(swift::Type, swift::AssociatedTypeDecl *)
```

Assertion context:

```c++
  return DependentMemberType::get(baseTy, ref->getIdentifier());
}

Type ProtocolRequirementTypeResolver::resolveSelfAssociatedType(
    Type selfTy, AssociatedTypeDecl *assocType) {
  assert(selfTy->isEqual(Proto->getSelfInterfaceType()));
  (void)Proto;
  return assocType->getDeclaredInterfaceType();
}

Type ProtocolRequirementTypeResolver::resolveTypeOfContext(DeclContext *dc) {
```
Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007f39e48d7390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f39e2dfd428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f39e2dff02a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f39e2df5bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f39e2df5c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x000000000136dd14 (/path/to/swift/bin/swift+0x136dd14)
8 0x00000000013bbe44 swift::TypeChecker::resolveTypeInContext(swift::TypeDecl*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*) (/path/to/swift/bin/swift+0x13bbe44)
9 0x00000000013c3a1e resolveTypeDecl(swift::TypeChecker&, swift::TypeDecl*, swift::SourceLoc, swift::DeclContext*, swift::GenericIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13c3a1e)
10 0x00000000013c360f resolveTopLevelIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, swift::ComponentIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13c360f)
11 0x00000000013bdab3 resolveIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, llvm::ArrayRef<swift::ComponentIdentTypeRepr*>, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bdab3)
12 0x00000000013bd88f resolveIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, llvm::ArrayRef<swift::ComponentIdentTypeRepr*>, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bd88f)
13 0x00000000013bd489 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bd489)
14 0x00000000013be1f8 (anonymous namespace)::TypeResolver::resolveType(swift::TypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>) (/path/to/swift/bin/swift+0x13be1f8)
15 0x00000000013be0fc swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13be0fc)
16 0x00000000013bcb50 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bcb50)
17 0x00000000014785e6 swift::IterativeTypeChecker::processResolveInheritedClauseEntry(std::pair<llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>, unsigned int>, llvm::function_ref<bool (swift::TypeCheckRequest)>) (/path/to/swift/bin/swift+0x14785e6)
18 0x0000000001442446 swift::IterativeTypeChecker::satisfy(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1442446)
19 0x0000000001339839 swift::TypeChecker::resolveInheritanceClause(llvm::PointerUnion<swift::TypeDecl*, swift::ExtensionDecl*>) (/path/to/swift/bin/swift+0x1339839)
20 0x0000000001563044 swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*) (/path/to/swift/bin/swift+0x1563044)
21 0x0000000001563714 swift::GenericSignatureBuilder::addConformanceRequirement(swift::GenericSignatureBuilder::PotentialArchetype*, swift::ProtocolDecl*, swift::GenericSignatureBuilder::RequirementSource const*) (/path/to/swift/bin/swift+0x1563714)
22 0x0000000001567045 swift::GenericSignatureBuilder::addTypeRequirement(llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::FloatingRequirementSource, swift::GenericSignatureBuilder::UnresolvedHandlingKind) (/path/to/swift/bin/swift+0x1567045)
23 0x0000000001578891 swift::GenericSignatureBuilder::ConstraintResult llvm::function_ref<swift::GenericSignatureBuilder::ConstraintResult (swift::Type, swift::TypeRepr const*)>::callback_fn<swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*)::$_26>(long, swift::Type, swift::TypeRepr const*) (/path/to/swift/bin/swift+0x1578891)
24 0x0000000001571002 std::_Function_handler<void (swift::Type, swift::TypeRepr const*), visitInherited(llvm::ArrayRef<swift::TypeLoc>, llvm::function_ref<swift::GenericSignatureBuilder::ConstraintResult (swift::Type, swift::TypeRepr const*)>)::$_57>::_M_invoke(std::_Any_data const&, swift::Type&&, swift::TypeRepr const*&&) (/path/to/swift/bin/swift+0x1571002)
25 0x0000000001563141 swift::GenericSignatureBuilder::addInheritedRequirements(swift::TypeDecl*, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::RequirementSource const*, swift::ModuleDecl*) (/path/to/swift/bin/swift+0x1563141)
26 0x0000000001562f5e swift::GenericSignatureBuilder::addGenericParameterRequirements(swift::GenericTypeParamDecl*) (/path/to/swift/bin/swift+0x1562f5e)
27 0x000000000136e602 swift::TypeChecker::checkGenericParamList(swift::GenericSignatureBuilder*, swift::GenericParamList*, swift::GenericSignature*, swift::GenericTypeResolver*) (/path/to/swift/bin/swift+0x136e602)
28 0x0000000001371be4 swift::TypeChecker::checkGenericEnvironment(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, bool, llvm::function_ref<void (swift::GenericSignatureBuilder&)>) (/path/to/swift/bin/swift+0x1371be4)
29 0x0000000001372009 swift::TypeChecker::validateGenericTypeSignature(swift::GenericTypeDecl*) (/path/to/swift/bin/swift+0x1372009)
30 0x0000000001343262 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x1343262)
31 0x0000000001352e53 (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x1352e53)
32 0x0000000001341434 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341434)
33 0x000000000135316b (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x135316b)
34 0x0000000001341434 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341434)
35 0x0000000001341333 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341333)
36 0x00000000013cba85 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cba85)
37 0x0000000000f93106 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93106)
38 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
39 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
40 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
41 0x00007f39e2de8830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
42 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-05 23:31:40 +02:00
practicalswift
3806292ae2 [swiftc (34 vs. 5544)] Add crasher in swift::TypeChecker::resolveWitness 
Add test case for crash triggered in `swift::TypeChecker::resolveWitness`.

Current number of unresolved compiler crashers: 34 (5544 resolved)

/cc @DougGregor - just wanted to let you know that this crasher caused an assertion failure for the assertion `Conformance->getTypeWitness(assocType, nullptr) ->isEqual(type) && "Conflicting type witness deductions"` added on 2017-04-04 by you in commit 5c89eb84 :-)

Assertion failure in [`lib/Sema/TypeCheckProtocol.cpp (line 2497)`](a5b5609137/lib/Sema/TypeCheckProtocol.cpp (L2497)):

```
Assertion `Conformance->getTypeWitness(assocType, nullptr) ->isEqual(type) && "Conflicting type witness deductions"' failed.

When executing: void (anonymous namespace)::ConformanceChecker::recordTypeWitness(swift::AssociatedTypeDecl *, swift::Type, swift::TypeDecl *, bool)
```

Assertion context:

```c++
                                           bool performRedeclarationCheck) {

  // If we already recoded this type witness, there's nothing to do.
  if (Conformance->hasTypeWitness(assocType)) {
    assert(Conformance->getTypeWitness(assocType, nullptr)
             ->isEqual(type) && "Conflicting type witness deductions");
    return;
  }

  if (typeDecl) {
    // Check access.
```
Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007fc4aecc3390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007fc4ad1e9428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007fc4ad1eb02a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007fc4ad1e1bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007fc4ad1e1c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x000000000139b0ef (anonymous namespace)::ConformanceChecker::recordTypeWitness(swift::AssociatedTypeDecl*, swift::Type, swift::TypeDecl*, bool) (/path/to/swift/bin/swift+0x139b0ef)
8 0x0000000001398507 (anonymous namespace)::ConformanceChecker::resolveTypeWitnessViaLookup(swift::AssociatedTypeDecl*) (/path/to/swift/bin/swift+0x1398507)
9 0x000000000138578a (anonymous namespace)::ConformanceChecker::resolveTypeWitnesses() (/path/to/swift/bin/swift+0x138578a)
10 0x000000000138737c swift::TypeChecker::resolveWitness(swift::NormalProtocolConformance const*, swift::ValueDecl*) (/path/to/swift/bin/swift+0x138737c)
11 0x00000000015a53fd swift::NormalProtocolConformance::getWitness(swift::ValueDecl*, swift::LazyResolver*) const (/path/to/swift/bin/swift+0x15a53fd)
12 0x00000000015a52cf swift::ProtocolConformance::getWitnessDecl(swift::ValueDecl*, swift::LazyResolver*) const (/path/to/swift/bin/swift+0x15a52cf)
13 0x0000000001373e3b (anonymous namespace)::LookupResultBuilder::add(swift::ValueDecl*, swift::ValueDecl*, swift::Type) (/path/to/swift/bin/swift+0x1373e3b)
14 0x0000000001374699 swift::TypeChecker::lookupMember(swift::DeclContext*, swift::Type, swift::DeclName, swift::OptionSet<swift::NameLookupFlags, unsigned int>)::$_1::operator()() const (/path/to/swift/bin/swift+0x1374699)
15 0x0000000001374517 swift::TypeChecker::lookupMember(swift::DeclContext*, swift::Type, swift::DeclName, swift::OptionSet<swift::NameLookupFlags, unsigned int>) (/path/to/swift/bin/swift+0x1374517)
16 0x00000000013c4184 diagnoseUnknownType(swift::TypeChecker&, swift::DeclContext*, swift::Type, swift::SourceRange, swift::ComponentIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::OptionSet<swift::NameLookupFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13c4184)
17 0x00000000013bde15 resolveIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, llvm::ArrayRef<swift::ComponentIdentTypeRepr*>, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bde15)
18 0x00000000013bd489 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bd489)
19 0x00000000013be1f8 (anonymous namespace)::TypeResolver::resolveType(swift::TypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>) (/path/to/swift/bin/swift+0x13be1f8)
20 0x00000000013be0fc swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13be0fc)
21 0x00000000013bcb50 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bcb50)
22 0x00000000013431f9 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x13431f9)
23 0x0000000001351a1f (anonymous namespace)::DeclChecker::visitTypeAliasDecl(swift::TypeAliasDecl*) (/path/to/swift/bin/swift+0x1351a1f)
24 0x0000000001341404 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341404)
25 0x0000000001351f5b (anonymous namespace)::DeclChecker::visitStructDecl(swift::StructDecl*) (/path/to/swift/bin/swift+0x1351f5b)
26 0x0000000001341414 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341414)
27 0x0000000001341333 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341333)
28 0x00000000013cba85 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cba85)
29 0x0000000000f93106 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93106)
30 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
31 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
32 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
33 0x00007fc4ad1d4830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
34 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-05 18:50:12 +02:00
practicalswift
418f6df258 [swiftc (33 vs. 5544)] Add crasher in swift::TypeBase::getCanonicalType(...) 
Add test case for crash triggered in `swift::TypeBase::getCanonicalType(...)`.

Current number of unresolved compiler crashers: 33 (5544 resolved)

Assertion failure in [`include/swift/AST/Type.h (line 389)`](2b0ddcd1d7/include/swift/AST/Type.h (L389)):

```
Assertion `isActuallyCanonicalOrNull() && "Forming a CanType out of a non-canonical type!"' failed.

When executing: swift::CanType::CanType(swift::TypeBase *)
```

Assertion context:

```c++
  static CanType getLValueOrInOutObjectTypeImpl(CanType type);

public:
  explicit CanType(TypeBase *P = 0) : Type(P) {
    assert(isActuallyCanonicalOrNull() &&
           "Forming a CanType out of a non-canonical type!");
  }
  explicit CanType(Type T) : Type(T) {
    assert(isActuallyCanonicalOrNull() &&
           "Forming a CanType out of a non-canonical type!");
  }
```
Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007f122f60b390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f122db31428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f122db3302a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f122db29bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f122db29c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000015b182c swift::TypeBase::getCanonicalType() (/path/to/swift/bin/swift+0x15b182c)
8 0x00000000015b139b swift::TypeBase::getCanonicalType() (/path/to/swift/bin/swift+0x15b139b)
9 0x00000000012c7e5b swift::ASTVisitor<(anonymous namespace)::ConstraintGenerator, swift::Type, void, void, void, void, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x12c7e5b)
10 0x00000000012cddc8 (anonymous namespace)::ConstraintWalker::walkToExprPost(swift::Expr*) (/path/to/swift/bin/swift+0x12cddc8)
11 0x000000000150b49c swift::Expr::walk(swift::ASTWalker&) (/path/to/swift/bin/swift+0x150b49c)
12 0x00000000012c4961 swift::constraints::ConstraintSystem::generateConstraints(swift::Expr*) (/path/to/swift/bin/swift+0x12c4961)
13 0x00000000012ee2e6 swift::constraints::ConstraintSystem::solve(swift::Expr*&, swift::Type, swift::ExprTypeCheckListener*, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) (/path/to/swift/bin/swift+0x12ee2e6)
14 0x0000000001326d44 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>) (/path/to/swift/bin/swift+0x1326d44)
15 0x000000000132a6c2 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132a6c2)
16 0x00000000013adeb5 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13adeb5)
17 0x00000000013ad6c6 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) (/path/to/swift/bin/swift+0x13ad6c6)
18 0x00000000013cbb00 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cbb00)
19 0x0000000000f93106 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93106)
20 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
21 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
22 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
23 0x00007f122db1c830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
24 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-05 16:41:53 +02:00
practicalswift
c3fcfd2c26 [swiftc (32 vs. 5544)] Add crasher in swift::Expr::walk(...) 
Add test case for crash triggered in `swift::Expr::walk(...)`.

Current number of unresolved compiler crashers: 32 (5544 resolved)

/cc @DougGregor - just wanted to let you know that this crasher caused an assertion failure for the assertion `ty->getNominalOrBoundGenericNominal() || ty->is<DynamicSelfType>() || ty->isExistentialType() || ty->is<ArchetypeType>()` added on 2014-02-25 by you in commit 6a532e05c :-)

Assertion failure in [`lib/Sema/CSApply.cpp (line 7121)`](5c1859e98a/lib/Sema/CSApply.cpp (L7121)):

```
Assertion `ty->getNominalOrBoundGenericNominal() || ty->is<DynamicSelfType>() || ty->isExistentialType() || ty->is<ArchetypeType>()' failed.

When executing: swift::Expr *(anonymous namespace)::ExprRewriter::finishApply(swift::ApplyExpr *, swift::Type, swift::constraints::ConstraintLocatorBuilder)
```

Assertion context:

```c++
  }

  // We're constructing a value of nominal type. Look for the constructor or
  // enum element to use.
  assert(ty->getNominalOrBoundGenericNominal() || ty->is<DynamicSelfType>() ||
         ty->isExistentialType() || ty->is<ArchetypeType>());
  auto ctorLocator = cs.getConstraintLocator(
                 locator.withPathElement(ConstraintLocator::ApplyFunction)
                        .withPathElement(ConstraintLocator::ConstructorMember));
  auto selected = getOverloadChoiceIfAvailable(ctorLocator);

```
Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007f45d9d9b390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f45d82c1428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f45d82c302a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f45d82b9bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f45d82b9c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000013d899e (/path/to/swift/bin/swift+0x13d899e)
8 0x00000000013eeb93 (anonymous namespace)::ExprRewriter::visitApplyExpr(swift::ApplyExpr*) (/path/to/swift/bin/swift+0x13eeb93)
9 0x00000000013d4294 (anonymous namespace)::ExprRewriter::walkToExprPost(swift::Expr*) (/path/to/swift/bin/swift+0x13d4294)
10 0x00000000013d9a61 (anonymous namespace)::ExprWalker::walkToExprPost(swift::Expr*) (/path/to/swift/bin/swift+0x13d9a61)
11 0x000000000150b49c swift::Expr::walk(swift::ASTWalker&) (/path/to/swift/bin/swift+0x150b49c)
12 0x00000000013d125f swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) (/path/to/swift/bin/swift+0x13d125f)
13 0x000000000132a7bd swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132a7bd)
14 0x00000000014002fc (anonymous namespace)::FailureDiagnosis::typeCheckChildIndependently(swift::Expr*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<TCCFlags, unsigned int>, swift::ExprTypeCheckListener*, bool) (/path/to/swift/bin/swift+0x14002fc)
15 0x00000000013fd957 swift::ASTVisitor<(anonymous namespace)::FailureDiagnosis, bool, void, void, void, void, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x13fd957)
16 0x00000000013f448b swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) (/path/to/swift/bin/swift+0x13f448b)
17 0x00000000013fa2c9 swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) (/path/to/swift/bin/swift+0x13fa2c9)
18 0x0000000001326d88 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>) (/path/to/swift/bin/swift+0x1326d88)
19 0x000000000132a6c2 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132a6c2)
20 0x000000000132e814 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*, bool) (/path/to/swift/bin/swift+0x132e814)
21 0x000000000132ea76 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int, bool) (/path/to/swift/bin/swift+0x132ea76)
22 0x0000000001347158 validatePatternBindingEntries(swift::TypeChecker&, swift::PatternBindingDecl*) (/path/to/swift/bin/swift+0x1347158)
23 0x0000000001343428 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x1343428)
24 0x000000000143201a swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) (/path/to/swift/bin/swift+0x143201a)
25 0x000000000134887c swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) (/path/to/swift/bin/swift+0x134887c)
26 0x0000000001351f0e (anonymous namespace)::DeclChecker::visitStructDecl(swift::StructDecl*) (/path/to/swift/bin/swift+0x1351f0e)
27 0x0000000001341414 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341414)
28 0x000000000135316b (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x135316b)
29 0x0000000001341434 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341434)
30 0x0000000001341333 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341333)
31 0x00000000013cba85 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cba85)
32 0x0000000000f93106 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93106)
33 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
34 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
35 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
36 0x00007f45d82ac830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
37 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-05 14:56:51 +02:00
practicalswift
06249a68d6 [swiftc (31 vs. 5544)] Add crasher in swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(...) 
Add test case for crash triggered in `swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(...)`.

Current number of unresolved compiler crashers: 31 (5544 resolved)

Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007fbcdc7c4390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00000000014792e9 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14792e9)
4 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
5 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
6 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
7 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
8 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
9 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
10 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
11 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
12 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
13 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
14 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
15 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
16 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
17 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
18 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
19 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
20 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
21 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
22 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
23 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
24 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
25 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
26 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
27 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
28 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
29 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
30 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
31 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
32 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
33 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
34 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
35 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
36 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
37 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
38 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
39 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
40 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
41 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
42 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
43 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
44 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
45 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
46 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
47 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
48 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
49 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
50 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
51 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
52 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
53 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
54 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
55 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
56 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
57 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
58 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
59 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
60 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
61 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
62 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
63 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
64 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
65 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
66 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
67 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
68 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
69 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
70 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
71 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
72 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
73 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
74 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
75 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
76 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
77 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
78 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
79 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
80 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
81 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
82 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
83 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
84 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
85 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
86 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
87 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
88 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
89 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
90 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
91 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
92 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
93 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
94 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
95 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
96 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
97 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
98 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
99 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
100 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
101 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
102 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
103 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
104 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
105 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
106 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
107 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
108 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
109 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
110 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
111 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
112 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
113 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
114 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
115 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
116 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
117 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
118 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
119 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
120 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
121 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
122 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
123 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
124 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
125 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
126 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
127 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
128 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
129 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
130 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
131 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
132 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
133 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
134 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
135 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
136 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
137 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
138 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
139 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
140 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
141 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
142 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
143 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
144 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
145 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
146 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
147 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
148 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
149 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
150 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
151 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
152 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
153 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
154 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
155 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
156 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
157 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
158 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
159 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
160 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
161 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
162 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
163 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
164 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
165 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
166 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
167 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
168 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
169 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
170 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
171 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
172 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
173 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
174 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
175 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
176 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
177 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
178 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
179 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
180 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
181 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
182 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
183 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
184 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
185 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
186 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
187 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
188 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
189 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
190 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
191 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
192 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
193 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
194 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
195 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
196 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
197 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
198 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
199 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
200 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
201 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
202 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
203 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
204 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
205 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
206 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
207 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
208 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
209 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
210 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
211 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
212 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
213 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
214 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
215 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
216 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
217 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
218 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
219 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
220 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
221 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
222 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
223 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
224 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
225 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
226 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
227 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
228 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
229 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
230 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
231 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
232 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
233 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
234 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
235 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
236 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
237 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
238 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
239 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
240 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
241 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
242 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
243 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
244 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
245 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
246 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
247 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
248 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
249 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
250 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
251 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
252 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
253 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
254 0x0000000001441d9e swift::IterativeTypeChecker::isSatisfied(swift::TypeCheckRequest) (/path/to/swift/bin/swift+0x1441d9e)
255 0x00000000014793d6 swift::IterativeTypeChecker::isQualifiedLookupInDeclContextSatisfied(swift::DeclContextLookupInfo) (/path/to/swift/bin/swift+0x14793d6)
```
 2017-06-05 13:47:56 +02:00
practicalswift
7ef9041111 [swiftc (30 vs. 5544)] Add crasher in swift::GenericSignature::getConformanceAccessPath 
Add test case for crash triggered in `swift::GenericSignature::getConformanceAccessPath`.

Current number of unresolved compiler crashers: 30 (5544 resolved)

/cc @DougGregor - just wanted to let you know that this crasher caused an assertion failure for the assertion `inProtocol->isRequirementSignatureComputed() && "missing signature"` added on 2017-03-08 by you in commit 1f8b0f9b :-)

Assertion failure in [`lib/AST/GenericSignature.cpp (line 857)`](aae1b681e7/lib/AST/GenericSignature.cpp (L857)):

```
Assertion `inProtocol->isRequirementSignatureComputed() && "missing signature"' failed.

When executing: auto swift::GenericSignature::getConformanceAccessPath(swift::Type, swift::ProtocolDecl *, swift::ModuleDecl &)::(anonymous class)::operator()(swift::GenericSignature *, const RequirementSource *, swift::ProtocolDecl *, swift::Type) const
```

Assertion context:

```c++

      // Canonicalize this step with respect to the requirement signature.
      if (!inProtocol->isRequirementSignatureComputed()) {
        inProtocol->computeRequirementSignature();
        assert(inProtocol->isRequirementSignatureComputed() &&
               "missing signature");
      }

      // Get a generic signature builder for the requirement signature. This has
      // the requirement we need.
      auto reqSig = inProtocol->getRequirementSignature();
```
Stack trace:

```
0 0x0000000003a5f2b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5f2b8)
1 0x0000000003a5f9f6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f9f6)
2 0x00007fa1551e2390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007fa153708428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007fa15370a02a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007fa153700bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007fa153700c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000015570f0 std::_Function_base::_Base_manager<swift::GenericSignature::getConformanceAccessPath(swift::Type, swift::ProtocolDecl*, swift::ModuleDecl&)::$_11>::_M_manager(std::_Any_data&, std::_Any_data const&, std::_Manager_operation) (/path/to/swift/bin/swift+0x15570f0)
8 0x0000000001556fc3 std::_Function_handler<void (swift::GenericSignature*, swift::GenericSignatureBuilder::RequirementSource const*, swift::ProtocolDecl*, swift::Type), swift::GenericSignature::getConformanceAccessPath(swift::Type, swift::ProtocolDecl*, swift::ModuleDecl&)::$_11>::_M_invoke(std::_Any_data const&, swift::GenericSignature*&&, swift::GenericSignatureBuilder::RequirementSource const*&&, swift::ProtocolDecl*&&, swift::Type&&) (/path/to/swift/bin/swift+0x1556fc3)
9 0x0000000001555d09 swift::GenericSignature::getConformanceAccessPath(swift::Type, swift::ProtocolDecl*, swift::ModuleDecl&) (/path/to/swift/bin/swift+0x1555d09)
10 0x00000000015ad825 swift::SubstitutionMap::lookupConformance(swift::CanType, swift::ProtocolDecl*) const (/path/to/swift/bin/swift+0x15ad825)
11 0x00000000015b9f80 swift::LookUpConformanceInSubstitutionMap::operator()(swift::CanType, swift::Type, swift::ProtocolType*) const (/path/to/swift/bin/swift+0x15b9f80)
12 0x0000000000c246d9 llvm::Optional<swift::ProtocolConformanceRef> llvm::function_ref<llvm::Optional<swift::ProtocolConformanceRef> (swift::CanType, swift::Type, swift::ProtocolType*)>::callback_fn<swift::LookUpConformanceInSubstitutionMap>(long, swift::CanType, swift::Type, swift::ProtocolType*) (/path/to/swift/bin/swift+0xc246d9)
13 0x00000000015ba484 getMemberForBaseType(llvm::function_ref<llvm::Optional<swift::ProtocolConformanceRef> (swift::CanType, swift::Type, swift::ProtocolType*)>, swift::Type, swift::Type, swift::AssociatedTypeDecl*, swift::Identifier, swift::SubstOptions) (/path/to/swift/bin/swift+0x15ba484)
14 0x00000000015bee5d llvm::Optional<swift::Type> llvm::function_ref<llvm::Optional<swift::Type> (swift::TypeBase*)>::callback_fn<substType(swift::Type, llvm::function_ref<swift::Type (swift::SubstitutableType*)>, llvm::function_ref<llvm::Optional<swift::ProtocolConformanceRef> (swift::CanType, swift::Type, swift::ProtocolType*)>, swift::SubstOptions)::$_17>(long, swift::TypeBase*) (/path/to/swift/bin/swift+0x15bee5d)
15 0x00000000015bb3d9 swift::Type::transformRec(llvm::function_ref<llvm::Optional<swift::Type> (swift::TypeBase*)>) const (/path/to/swift/bin/swift+0x15bb3d9)
16 0x00000000015b6765 swift::Type::subst(swift::SubstitutionMap const&, swift::SubstOptions) const (/path/to/swift/bin/swift+0x15b6765)
17 0x00000000013bc10e swift::TypeChecker::substMemberTypeWithBase(swift::ModuleDecl*, swift::TypeDecl*, swift::Type) (/path/to/swift/bin/swift+0x13bc10e)
18 0x00000000013bbe00 swift::TypeChecker::resolveTypeInContext(swift::TypeDecl*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*) (/path/to/swift/bin/swift+0x13bbe00)
19 0x00000000013c3a1e resolveTypeDecl(swift::TypeChecker&, swift::TypeDecl*, swift::SourceLoc, swift::DeclContext*, swift::GenericIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13c3a1e)
20 0x00000000013c2e19 resolveTopLevelIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, swift::ComponentIdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13c2e19)
21 0x00000000013bdab3 resolveIdentTypeComponent(swift::TypeChecker&, swift::DeclContext*, llvm::ArrayRef<swift::ComponentIdentTypeRepr*>, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bdab3)
22 0x00000000013bd489 swift::TypeChecker::resolveIdentifierType(swift::DeclContext*, swift::IdentTypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, bool, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bd489)
23 0x00000000013be1f8 (anonymous namespace)::TypeResolver::resolveType(swift::TypeRepr*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>) (/path/to/swift/bin/swift+0x13be1f8)
24 0x00000000013be0fc swift::TypeChecker::resolveType(swift::TypeRepr*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13be0fc)
25 0x00000000013bcb50 swift::TypeChecker::validateType(swift::TypeLoc&, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, llvm::function_ref<bool (swift::TypeCheckRequest)>*) (/path/to/swift/bin/swift+0x13bcb50)
26 0x00000000013556d3 (anonymous namespace)::DeclChecker::visitFuncDecl(swift::FuncDecl*) (/path/to/swift/bin/swift+0x13556d3)
27 0x0000000001341454 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341454)
28 0x000000000134346d swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x134346d)
29 0x0000000001341f12 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341f12)
30 0x000000000135316b (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x135316b)
31 0x0000000001341434 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341434)
32 0x000000000135316b (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x135316b)
33 0x0000000001341434 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1341434)
34 0x0000000001341333 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1341333)
35 0x00000000013cba85 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cba85)
36 0x0000000000f93106 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf93106)
37 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
38 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
39 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
40 0x00007fa1536f3830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
41 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-05 09:43:14 +02:00
practicalswift
e7a3958804 [swiftc (29 vs. 5544)] Add crasher in swift::ProtocolConformanceRef 
Add test case for crash triggered in `swift::ProtocolConformanceRef`.

Current number of unresolved compiler crashers: 29 (5544 resolved)

Stack trace:

```
0 0x0000000003a5eb78 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5eb78)
1 0x0000000003a5f2b6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a5f2b6)
2 0x00007f4adba35390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x0000000001575f1d swift::ProtocolConformanceRef llvm::function_ref<swift::ProtocolConformanceRef (swift::ProtocolDecl*)>::callback_fn<swift::GenericSignatureBuilder::addSameTypeRequirementToConcrete(swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type, swift::GenericSignatureBuilder::RequirementSource const*)::$_23>(long, swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x1575f1d)
4 0x000000000155fbc9 concretizeNestedTypeFromConcreteParent(swift::GenericSignatureBuilder::PotentialArchetype*, swift::GenericSignatureBuilder::RequirementSource const*, swift::GenericSignatureBuilder::PotentialArchetype*, swift::GenericSignatureBuilder&, llvm::function_ref<swift::ProtocolConformanceRef (swift::ProtocolDecl*)>) (/path/to/swift/bin/swift+0x155fbc9)
5 0x0000000001568549 swift::GenericSignatureBuilder::addSameTypeRequirementToConcrete(swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type, swift::GenericSignatureBuilder::RequirementSource const*) (/path/to/swift/bin/swift+0x1568549)
6 0x0000000001567c0c swift::GenericSignatureBuilder::addSameTypeRequirement(llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::FloatingRequirementSource, swift::GenericSignatureBuilder::UnresolvedHandlingKind, llvm::function_ref<void (swift::Type, swift::Type)>) (/path/to/swift/bin/swift+0x1567c0c)
7 0x000000000155ee8e swift::GenericSignatureBuilder::PotentialArchetype::updateNestedTypeForConformance(llvm::PointerUnion<swift::AssociatedTypeDecl*, swift::TypeDecl*>, swift::GenericSignatureBuilder::PotentialArchetype::NestedTypeUpdate) (/path/to/swift/bin/swift+0x155ee8e)
8 0x000000000155d9d2 swift::GenericSignatureBuilder::PotentialArchetype::getNestedArchetypeAnchor(swift::Identifier, swift::GenericSignatureBuilder&, swift::GenericSignatureBuilder::PotentialArchetype::NestedTypeUpdate) (/path/to/swift/bin/swift+0x155d9d2)
9 0x000000000156be5c swift::GenericSignatureBuilder::checkSameTypeConstraints(llvm::ArrayRef<swift::GenericTypeParamType*>, swift::GenericSignatureBuilder::PotentialArchetype*) (/path/to/swift/bin/swift+0x156be5c)
10 0x0000000001569100 swift::GenericSignatureBuilder::finalize(swift::SourceLoc, llvm::ArrayRef<swift::GenericTypeParamType*>, bool) (/path/to/swift/bin/swift+0x1569100)
11 0x000000000136eaca swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) (/path/to/swift/bin/swift+0x136eaca)
12 0x0000000001353844 (anonymous namespace)::DeclChecker::visitConstructorDecl(swift::ConstructorDecl*) (/path/to/swift/bin/swift+0x1353844)
13 0x0000000001340eb4 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1340eb4)
14 0x0000000001340da3 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1340da3)
15 0x0000000001431c7e swift::createImplicitConstructor(swift::TypeChecker&, swift::NominalTypeDecl*, swift::ImplicitConstructorKind) (/path/to/swift/bin/swift+0x1431c7e)
16 0x00000000013494c2 swift::TypeChecker::defineDefaultConstructor(swift::NominalTypeDecl*) (/path/to/swift/bin/swift+0x13494c2)
17 0x0000000001348366 swift::TypeChecker::addImplicitConstructors(swift::NominalTypeDecl*) (/path/to/swift/bin/swift+0x1348366)
18 0x0000000001351af5 (anonymous namespace)::DeclChecker::visitClassDecl(swift::ClassDecl*) (/path/to/swift/bin/swift+0x1351af5)
19 0x0000000001340f9e (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1340f9e)
20 0x0000000001352bdb (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x1352bdb)
21 0x0000000001340ea4 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1340ea4)
22 0x0000000001340da3 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1340da3)
23 0x00000000013ada86 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13ada86)
24 0x00000000013ad13b swift::TypeChecker::typeCheckClosureBody(swift::ClosureExpr*) (/path/to/swift/bin/swift+0x13ad13b)
25 0x00000000013d102c swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) (/path/to/swift/bin/swift+0x13d102c)
26 0x000000000132a22d swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132a22d)
27 0x00000000013adae5 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13adae5)
28 0x00000000013ad2f6 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) (/path/to/swift/bin/swift+0x13ad2f6)
29 0x00000000013cb730 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cb730)
30 0x0000000000f92b76 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf92b76)
31 0x00000000004aaa09 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aaa09)
32 0x00000000004a8f9c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8f9c)
33 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
34 0x00007f4ad9f46830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
35 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-06-05 00:19:22 +02:00
Robert Widmann
25901cc467 Merge pull request #10065 from CodaFi/shame-on-you-shame-on-your-cow 
Change an assertion to an ad-hoc circularity check
 2017-06-02 11:40:06 -07:00
Robert Widmann
12f81163b1 Change an assertion to an ad-hoc circularity check 2017-06-02 10:23:02 -07:00
swift-ci
032c18c426 Merge pull request #10064 from CodaFi/thats-not-my-name 2017-06-02 00:37:12 -07:00
Robert Widmann
72ee26a52f Resolve a crasher 2017-06-01 23:58:14 -07:00
Jordan Rose
63bc717963 Error when one associated type is constrained to another. (#10053) 
(...is constrained to be a subtype of another)

Previously the compiler would just mark the entry in the inheritance
clause invalid and move on without emitting any errors; in certain
circumstances in no-asserts builds this could actually lead to
everything working "correctly" if all conforming types happened to
pick the same concrete type for both associated types. In Swift 4 this
can actually be enforced with a same-type requirement, which will
guarantee that the two associated types are the same even in generic
contexts.

This fix avoids assertions and crashes, but the diagnostic is still
incorrect, and in the simple case of the inheritance clause it's
redundant. Doing something better and possibly even downgrading it to
a warning in Swift 3 mode is tracked by rdar://problem/32409449.

Initial patch by Slava, fixed up by me.
 2017-06-01 19:45:34 -07:00
Doug Gregor
a9733cb8db [GSB] Resolve dependent member types in same-type and superclass constraints. 
Once we're finalizing same-type-to-concrete and superclass
constraints, replace any unresolved DependentMemberTypes with their
resolved counterpairs. This allows us to simplify
DependentGenericTypeResolver, which only builds unresolved
DependentMemberTypes now, and eliminates the penultimate use of
ArchetypeResolutionKind::AlwaysPartial.
 2017-05-30 11:43:53 -07:00
Pavel Yaskevich
da4232e546 [Diagnostics] Fix checking for presence of type variables in closure return expression 
Instead of validating sub-expressions included in the closure's result
`diagnoseAmbiguousMultiStatementClosure` was only checking parent expression
by mistake.
 2017-05-30 02:42:56 -07:00
Jacob Bandes-Storch
b7fe4e2355 [Parse] Fix InFlightDiagnostic lifetime (#9961) 
Fixes @practicalswift's crasher 28759 (#9907), which seems to have been introduced in #9294.
 2017-05-27 13:38:05 -07:00
Jacob Bandes-Storch
035179331b [CSDiag] Fix crasher in KeyPathExpr diagnosis (#9962) 
New KeyPathExpr diagnosis recently added in #9845 did not work for Obj-C key paths.
 2017-05-27 13:36:56 -07:00
practicalswift
145222b0d0 [swiftc (37 vs. 5535)] Add crasher in swift::TypeBase::getCanonicalType(...) 
Add test case for crash triggered in `swift::TypeBase::getCanonicalType(...)`.

Current number of unresolved compiler crashers: 37 (5535 resolved)

Stack trace:

```
0 0x0000000003a60998 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a60998)
1 0x0000000003a610d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a610d6)
2 0x00007f7c8a848390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00000000015b3424 swift::TypeBase::getCanonicalType() (/path/to/swift/bin/swift+0x15b3424)
4 0x00000000013785a7 (anonymous namespace)::LookupResultBuilder::add(swift::ValueDecl*, swift::ValueDecl*, swift::Type) (/path/to/swift/bin/swift+0x13785a7)
5 0x0000000001378374 swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>) (/path/to/swift/bin/swift+0x1378374)
6 0x0000000001329885 swift::TypeChecker::resolveDeclRefExpr(swift::UnresolvedDeclRefExpr*, swift::DeclContext*) (/path/to/swift/bin/swift+0x1329885)
7 0x0000000001337382 (anonymous namespace)::PreCheckExpression::walkToExprPre(swift::Expr*) (/path/to/swift/bin/swift+0x1337382)
8 0x000000000150e4fb swift::Expr::walk(swift::ASTWalker&) (/path/to/swift/bin/swift+0x150e4fb)
9 0x000000000132b565 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>) (/path/to/swift/bin/swift+0x132b565)
10 0x000000000132ef61 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132ef61)
11 0x0000000001333044 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*, bool) (/path/to/swift/bin/swift+0x1333044)
12 0x00000000013332a6 swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int, bool) (/path/to/swift/bin/swift+0x13332a6)
13 0x000000000134b918 validatePatternBindingEntries(swift::TypeChecker&, swift::PatternBindingDecl*) (/path/to/swift/bin/swift+0x134b918)
14 0x0000000001345cdd (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1345cdd)
15 0x000000000135612b (anonymous namespace)::DeclChecker::visitExtensionDecl(swift::ExtensionDecl*) (/path/to/swift/bin/swift+0x135612b)
16 0x0000000001345cc4 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1345cc4)
17 0x0000000001345ba3 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1345ba3)
18 0x00000000013cfd95 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cfd95)
19 0x0000000000f98dd6 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf98dd6)
20 0x00000000004aa768 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa768)
21 0x00000000004a8d8b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d8b)
22 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
23 0x00007f7c88d59830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
24 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-27 19:07:18 +02:00
practicalswift
9685289b1b [swiftc (36 vs. 5535)] Add crasher in swift::constraints::ConstraintSystem::getTypeOfReference 
Add test case for crash triggered in `swift::constraints::ConstraintSystem::getTypeOfReference`.

Current number of unresolved compiler crashers: 36 (5535 resolved)

/cc @slavapestov - just wanted to let you know that this crasher caused an assertion failure for the assertion `!valueType->hasUnboundGenericType() && !valueType->hasTypeParameter()` added on 2017-05-22 by you in commit b112e95a :-)

Assertion failure in [`lib/Sema/ConstraintSystem.cpp (line 841)`](a290776ff0/lib/Sema/ConstraintSystem.cpp (L841)):

```
Assertion `!valueType->hasUnboundGenericType() && !valueType->hasTypeParameter()' failed.

When executing: std::pair<Type, Type> swift::constraints::ConstraintSystem::getTypeOfReference(swift::ValueDecl *, swift::FunctionRefKind, swift::constraints::ConstraintLocatorBuilder, const swift::DeclRefExpr *)
```

Assertion context:

```c++
  // Unqualified reference to a type.
  if (auto typeDecl = dyn_cast<TypeDecl>(value)) {
    // Resolve the reference to this type declaration in our current context.
    auto type = TC.resolveTypeInContext(typeDecl, DC,
                                        TR_InExpression,
                                        /*isSpecialized=*/false);

    // Open the type.
    type = openUnboundGenericType(type, locator);

    // Module types are not wrapped in metatypes.
```
Stack trace:

```
0 0x0000000003a60998 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a60998)
1 0x0000000003a610d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a610d6)
2 0x00007f2c4bc94390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f2c4a1ba428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f2c4a1bc02a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f2c4a1b2bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f2c4a1b2c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000013173d0 swift::constraints::ConstraintSystem::getTypeOfReference(swift::ValueDecl*, swift::FunctionRefKind, swift::constraints::ConstraintLocatorBuilder, swift::DeclRefExpr const*) (/path/to/swift/bin/swift+0x13173d0)
8 0x0000000001318d51 swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice, swift::DeclContext*) (/path/to/swift/bin/swift+0x1318d51)
9 0x00000000012cc5b4 swift::ASTVisitor<(anonymous namespace)::ConstraintGenerator, swift::Type, void, void, void, void, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x12cc5b4)
10 0x00000000012d27a8 (anonymous namespace)::ConstraintWalker::walkToExprPost(swift::Expr*) (/path/to/swift/bin/swift+0x12d27a8)
11 0x000000000150fd81 swift::ASTVisitor<(anonymous namespace)::Traversal, swift::Expr*, swift::Stmt*, bool, swift::Pattern*, bool, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x150fd81)
12 0x0000000001511cde (anonymous namespace)::Traversal::visitApplyExpr(swift::ApplyExpr*) (/path/to/swift/bin/swift+0x1511cde)
13 0x000000000150e52b swift::Expr::walk(swift::ASTWalker&) (/path/to/swift/bin/swift+0x150e52b)
14 0x00000000012c92a1 swift::constraints::ConstraintSystem::generateConstraints(swift::Expr*) (/path/to/swift/bin/swift+0x12c92a1)
15 0x00000000012f30d6 swift::constraints::ConstraintSystem::solve(swift::Expr*&, swift::Type, swift::ExprTypeCheckListener*, llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::FreeTypeVariableBinding) (/path/to/swift/bin/swift+0x12f30d6)
16 0x000000000132b624 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>) (/path/to/swift/bin/swift+0x132b624)
17 0x000000000132ef61 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132ef61)
18 0x00000000013338c4 swift::TypeChecker::typeCheckCondition(swift::Expr*&, swift::DeclContext*) (/path/to/swift/bin/swift+0x13338c4)
19 0x00000000013340e0 swift::TypeChecker::typeCheckExprPattern(swift::ExprPattern*, swift::DeclContext*, swift::Type) (/path/to/swift/bin/swift+0x13340e0)
20 0x000000000137dd36 swift::TypeChecker::coercePatternToType(swift::Pattern*&, swift::DeclContext*, swift::Type, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, swift::TypeLoc) (/path/to/swift/bin/swift+0x137dd36)
21 0x000000000137d5a1 swift::TypeChecker::coercePatternToType(swift::Pattern*&, swift::DeclContext*, swift::Type, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>, swift::GenericTypeResolver*, swift::TypeLoc) (/path/to/swift/bin/swift+0x137d5a1)
22 0x000000000137c865 swift::TypeChecker::typeCheckPattern(swift::Pattern*, swift::DeclContext*, swift::OptionSet<swift::TypeResolutionFlags, unsigned int>) (/path/to/swift/bin/swift+0x137c865)
23 0x00000000013339f3 swift::TypeChecker::typeCheckStmtCondition(llvm::MutableArrayRef<swift::StmtConditionElement>&, swift::DeclContext*, swift::Diag<>) (/path/to/swift/bin/swift+0x13339f3)
24 0x00000000013b2ef6 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13b2ef6)
25 0x00000000013b26c6 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13b26c6)
26 0x00000000013b1fa6 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) (/path/to/swift/bin/swift+0x13b1fa6)
27 0x00000000013cfe10 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cfe10)
28 0x0000000000f98dd6 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf98dd6)
29 0x00000000004aa768 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa768)
30 0x00000000004a8d8b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d8b)
31 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
32 0x00007f2c4a1a5830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
33 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-27 17:36:53 +02:00
practicalswift
e5a40107c9 [swiftc (35 vs. 5535)] Add crasher in swift::Expr::propagateLValueAccessKind 
Add test case for crash triggered in `swift::Expr::propagateLValueAccessKind`.

Current number of unresolved compiler crashers: 35 (5535 resolved)

/cc @rjmccall - just wanted to let you know that this crasher caused an assertion failure for the assertion `(AllowOverwrite || !E->hasLValueAccessKind()) && "l-value access kind has already been set"` added on 2015-09-29 by you in commit d1554f9fc :-)

Assertion failure in [`lib/AST/Expr.cpp (line 238)`](d0c2ffc4a6/lib/AST/Expr.cpp (L238)):

```
Assertion `(AllowOverwrite || !E->hasLValueAccessKind()) && "l-value access kind has already been set"' failed.

When executing: void swift::Expr::propagateLValueAccessKind(swift::AccessKind, llvm::function_ref<Type (Expr *)>, bool)::PropagateAccessKind::visit(swift::Expr *, swift::AccessKind)
```

Assertion context:

```c++
#endif
    {}

    void visit(Expr *E, AccessKind kind) {
      assert((AllowOverwrite || !E->hasLValueAccessKind()) &&
             "l-value access kind has already been set");

      assert(GetType(E)->isAssignableType() &&
             "setting access kind on non-l-value");
      E->setLValueAccessKind(kind);

```
Stack trace:

```
0 0x0000000003a60998 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a60998)
1 0x0000000003a610d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a610d6)
2 0x00007f043836e390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f0436894428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f043689602a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f043688cbd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f043688cc82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x000000000154b695 swift::Expr::propagateLValueAccessKind(swift::AccessKind, llvm::function_ref<swift::Type (swift::Expr*)>, bool)::PropagateAccessKind::visit(swift::Expr*, swift::AccessKind) (/path/to/swift/bin/swift+0x154b695)
8 0x000000000154b362 swift::Expr::propagateLValueAccessKind(swift::AccessKind, llvm::function_ref<swift::Type (swift::Expr*)>, bool) (/path/to/swift/bin/swift+0x154b362)
9 0x00000000013d3dd0 swift::constraints::ConstraintSystem::coerceToRValue(swift::Expr*) (/path/to/swift/bin/swift+0x13d3dd0)
10 0x00000000013d3d80 swift::constraints::ConstraintSystem::coerceToRValue(swift::Expr*) (/path/to/swift/bin/swift+0x13d3d80)
11 0x00000000013e402d swift::ASTVisitor<(anonymous namespace)::ExprRewriter, swift::Expr*, void, void, void, void, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x13e402d)
12 0x00000000013d85b4 (anonymous namespace)::ExprRewriter::walkToExprPost(swift::Expr*) (/path/to/swift/bin/swift+0x13d85b4)
13 0x00000000013ddc31 (anonymous namespace)::ExprWalker::walkToExprPost(swift::Expr*) (/path/to/swift/bin/swift+0x13ddc31)
14 0x000000000150e54c swift::Expr::walk(swift::ASTWalker&) (/path/to/swift/bin/swift+0x150e54c)
15 0x00000000013d558f swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::Expr*, swift::Type, bool, bool, bool) (/path/to/swift/bin/swift+0x13d558f)
16 0x000000000132f05c swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132f05c)
17 0x0000000001404080 (anonymous namespace)::FailureDiagnosis::typeCheckChildIndependently(swift::Expr*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<TCCFlags, unsigned int>, swift::ExprTypeCheckListener*, bool) (/path/to/swift/bin/swift+0x1404080)
18 0x00000000013fcdd5 (anonymous namespace)::FailureDiagnosis::diagnoseAmbiguity(swift::Expr*) (/path/to/swift/bin/swift+0x13fcdd5)
19 0x00000000013f9775 swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) (/path/to/swift/bin/swift+0x13f9775)
20 0x00000000013fe1b9 swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) (/path/to/swift/bin/swift+0x13fe1b9)
21 0x000000000132b668 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>) (/path/to/swift/bin/swift+0x132b668)
22 0x000000000132ef61 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132ef61)
23 0x00000000013b2795 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13b2795)
24 0x00000000013b1fa6 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) (/path/to/swift/bin/swift+0x13b1fa6)
25 0x00000000013cfe10 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cfe10)
26 0x0000000000f98dd6 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf98dd6)
27 0x00000000004aa768 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa768)
28 0x00000000004a8d8b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d8b)
29 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
30 0x00007f043687f830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
31 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-27 16:05:46 +02:00
practicalswift
1346a242a4 [swiftc (34 vs. 5535)] Add crasher in swift::GenericSignatureBuilder::finalize 
Add test case for crash triggered in `swift::GenericSignatureBuilder::finalize`.

Current number of unresolved compiler crashers: 34 (5535 resolved)

/cc @DougGregor - just wanted to let you know that this crasher caused an assertion failure for the assertion `dist > 0 && "nested type should have matched associated type"` added on 2014-10-10 by you in commit 09688472 :-)

Assertion failure in [`lib/AST/GenericSignatureBuilder.cpp (line 3686)`](7e05b53c10/lib/AST/GenericSignatureBuilder.cpp (L3686)):

```
Assertion `dist > 0 && "nested type should have matched associated type"' failed.

When executing: swift::Identifier typoCorrectNestedType(GenericSignatureBuilder::PotentialArchetype *)
```

Assertion context:

```c++
        continue;

      unsigned dist = name.edit_distance(assocType->getName().str(),
                                         /*AllowReplacements=*/true,
                                         maxScore);
      assert(dist > 0 && "nested type should have matched associated type");
      if (bestEditDistance == 0 || dist == bestEditDistance) {
        bestEditDistance = dist;
        maxScore = bestEditDistance;
        bestMatches.push_back(assocType->getName());
      } else if (dist < bestEditDistance) {
```
Stack trace:

```
0 0x0000000003a60998 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a60998)
1 0x0000000003a610d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a610d6)
2 0x00007fb52f813390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007fb52dd39428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007fb52dd3b02a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007fb52dd31bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007fb52dd31c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x000000000156da12 swift::GenericSignatureBuilder::finalize(swift::SourceLoc, llvm::ArrayRef<swift::GenericTypeParamType*>, bool) (/path/to/swift/bin/swift+0x156da12)
8 0x00000000013739fe swift::TypeChecker::validateGenericFuncSignature(swift::AbstractFunctionDecl*) (/path/to/swift/bin/swift+0x13739fe)
9 0x0000000001359d89 (anonymous namespace)::DeclChecker::visitFuncDecl(swift::FuncDecl*) (/path/to/swift/bin/swift+0x1359d89)
10 0x0000000001345d9e (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1345d9e)
11 0x000000000135688b (anonymous namespace)::DeclChecker::visitClassDecl(swift::ClassDecl*) (/path/to/swift/bin/swift+0x135688b)
12 0x0000000001345d8e (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1345d8e)
13 0x000000000135792b (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x135792b)
14 0x0000000001345c94 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1345c94)
15 0x0000000001345ba3 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1345ba3)
16 0x00000000013cfd95 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cfd95)
17 0x0000000000f98dd6 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf98dd6)
18 0x00000000004aa768 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa768)
19 0x00000000004a8d8b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d8b)
20 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
21 0x00007fb52dd24830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
22 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-27 14:19:35 +02:00
Slava Pestov
39d0385e10 Sema: Fix a crasher by removing TVO_CanBindToInOut in a couple of spots 2017-05-26 23:47:10 -07:00
Slava Pestov
fc21ecce68 AST: Don't return hasTypeParameter() for DependentMemberTypes with an ErrorType base 
Instead, introduce a new hasDependentMember() recursive property.

The only place that cares about this is associated type inference,
where I changed all existing hasTypeParameter() checks to instead
check (hasTypeParameter() || hasDependentMember()). We could
probably refine this over time and remove some of the
hasTypeParameter() checks, but I'm being conservative for now.

Fixes <https://bugs.swift.org/browse/SR-4575> and
<rdar://problem/31603113>.
 2017-05-26 18:10:13 -07:00
Slava Pestov
1c7428666a Sema: Update isExtensionApplied() for primitive AnyObject 2017-05-24 22:09:23 -07:00
Slava Pestov
d8234bace6 Sema: Fix double type checking of lazy initializer expressions 
If a lazy var has no declared type, we have to type check the
initializer to get a type before we can build the getter.

Then, the initializer is type checked as part of the getter
again.

Use the new SkipApplyingSolution flag when type checking for
the first time. We still end up doing redundant work, but by
not applying the solution we avoid feeding invalid AST nodes
back into the constraint solver.

This fixes some bad diagnostics and crashes.

Fixes <https://bugs.swift.org/browse/SR-2616> and
<rdar://problem/28313602>.
 2017-05-24 17:21:28 -07:00
Slava Pestov
fa155bf1d1 Sema: Rework typeCheckBinding() to use the new foundSolution() callback 
Record the initializer type as soon as we have a solution, before
it is applied, and get the type from the constriant system instead
of from the final type checked expression.

Note that the coerceToMaterializable() was unnecessary, since we
always coerce the value to an rvalue type with coerceToType().

Eventually coerceToMaterializable() should go away.

This is mostly NFC, except using the result of simplifyType() rather
than the type of the final expression changes some diagnostics where it
appears we were previously losing sugar.

Also this accidentally fixes a crasher. Unfortunately the underlying
issue is still there (applying a solution has bugs with opened
existentials "leaking" out) -- this merely masks the problem by
getting the initializer type directly from the constriant system.
 2017-05-24 17:21:28 -07:00
practicalswift
202ecf15ec [swiftc (40 vs. 5528)] Add crasher in swift::InFlightDiagnostic 
Add test case for crash triggered in `swift::InFlightDiagnostic`.

Current number of unresolved compiler crashers: 40 (5528 resolved)

Assertion failure in [`include/swift/AST/DiagnosticEngine.h (line 641)`](4753e8648d/include/swift/AST/DiagnosticEngine.h (L641)):

```
Assertion `!ActiveDiagnostic && "Already have an active diagnostic"' failed.

When executing: swift::InFlightDiagnostic swift::DiagnosticEngine::diagnose(swift::SourceLoc, const swift::Diagnostic &)
```

Assertion context:

```c++
    /// \param D The diagnostic.
    ///
    /// \returns An in-flight diagnostic, to which additional information can
    /// be attached.
    InFlightDiagnostic diagnose(SourceLoc Loc, const Diagnostic &D) {
      assert(!ActiveDiagnostic && "Already have an active diagnostic");
      ActiveDiagnostic = D;
      ActiveDiagnostic->setLoc(Loc);
      return InFlightDiagnostic(*this);
    }

```
Stack trace:

```
0 0x0000000003a5fe98 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5fe98)
1 0x0000000003a605d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a605d6)
2 0x00007f69a524f390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f69a3775428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f69a377702a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f69a376dbd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f69a376dc82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x000000000122d298 swift::InFlightDiagnostic swift::Lexer::diagnose<>(char const*, swift::Diag<>) (/path/to/swift/bin/swift+0x122d298)
8 0x0000000001230709 swift::Lexer::lexDollarIdent() (/path/to/swift/bin/swift+0x1230709)
9 0x000000000122c015 swift::Lexer::lexImpl() (/path/to/swift/bin/swift+0x122c015)
10 0x000000000127aa1b swift::Parser::consumeToken() (/path/to/swift/bin/swift+0x127aa1b)
11 0x00000000012bfc14 swift::Parser::parseTypeSimple(swift::Diag<>, bool) (/path/to/swift/bin/swift+0x12bfc14)
12 0x00000000012c2b1d swift::Parser::parseTypeSimpleOrComposition(swift::Diag<>, bool) (/path/to/swift/bin/swift+0x12c2b1d)
13 0x00000000012c2297 swift::Parser::parseType(swift::Diag<>, bool, bool) (/path/to/swift/bin/swift+0x12c2297)
14 0x000000000124540e swift::Parser::parseDeclExtension(swift::OptionSet<swift::Parser::ParseDeclFlags, unsigned int>, swift::DeclAttributes&) (/path/to/swift/bin/swift+0x124540e)
15 0x000000000124253a swift::Parser::parseDecl(swift::OptionSet<swift::Parser::ParseDeclFlags, unsigned int>, llvm::function_ref<void (swift::Decl*)>) (/path/to/swift/bin/swift+0x124253a)
16 0x00000000012b2ffe swift::Parser::parseBraceItems(llvm::SmallVectorImpl<swift::ASTNode>&, swift::BraceItemListKind, swift::BraceItemListKind) (/path/to/swift/bin/swift+0x12b2ffe)
17 0x0000000001236159 swift::Parser::parseTopLevel() (/path/to/swift/bin/swift+0x1236159)
18 0x0000000001278779 swift::parseIntoSourceFile(swift::SourceFile&, unsigned int, bool*, swift::SILParserState*, swift::PersistentParserState*, swift::DelayedParsingCallbacks*) (/path/to/swift/bin/swift+0x1278779)
19 0x0000000000f97063 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf97063)
20 0x00000000004aa750 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa750)
21 0x00000000004a8d7b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d7b)
22 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
23 0x00007f69a3760830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
24 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-24 17:41:56 +02:00
practicalswift
3ee1541b65 [swiftc (39 vs. 5528)] Add crasher in swift::GenericSignatureBuilder::resolveSuperConformance 
Add test case for crash triggered in `swift::GenericSignatureBuilder::resolveSuperConformance`.

Current number of unresolved compiler crashers: 39 (5528 resolved)

Stack trace:

```
0 0x0000000003a5fe98 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5fe98)
1 0x0000000003a605d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a605d6)
2 0x00007f94db060390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x000000000155ec2f swift::GenericSignatureBuilder::resolveSuperConformance(swift::GenericSignatureBuilder::PotentialArchetype*, swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x155ec2f)
4 0x0000000001568e0e swift::GenericSignatureBuilder::updateSuperclass(swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type, swift::GenericSignatureBuilder::RequirementSource const*)::$_21::operator()() const (/path/to/swift/bin/swift+0x1568e0e)
5 0x0000000001568d25 swift::GenericSignatureBuilder::updateSuperclass(swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type, swift::GenericSignatureBuilder::RequirementSource const*) (/path/to/swift/bin/swift+0x1568d25)
6 0x000000000156a264 swift::GenericSignatureBuilder::addSameTypeRequirementBetweenArchetypes(swift::GenericSignatureBuilder::PotentialArchetype*, swift::GenericSignatureBuilder::PotentialArchetype*, swift::GenericSignatureBuilder::RequirementSource const*) (/path/to/swift/bin/swift+0x156a264)
7 0x000000000156a86c swift::GenericSignatureBuilder::addSameTypeRequirement(llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, llvm::PointerUnion<swift::GenericSignatureBuilder::PotentialArchetype*, swift::Type>, swift::GenericSignatureBuilder::FloatingRequirementSource, swift::GenericSignatureBuilder::UnresolvedHandlingKind, llvm::function_ref<void (swift::Type, swift::Type)>) (/path/to/swift/bin/swift+0x156a86c)
8 0x00000000015615d4 swift::GenericSignatureBuilder::PotentialArchetype::updateNestedTypeForConformance(llvm::PointerUnion<swift::AssociatedTypeDecl*, swift::TypeAliasDecl*>, swift::GenericSignatureBuilder::PotentialArchetype::NestedTypeUpdate) (/path/to/swift/bin/swift+0x15615d4)
9 0x00000000015601e0 swift::GenericSignatureBuilder::PotentialArchetype::getNestedArchetypeAnchor(swift::Identifier, swift::GenericSignatureBuilder&, swift::GenericSignatureBuilder::PotentialArchetype::NestedTypeUpdate) (/path/to/swift/bin/swift+0x15601e0)
10 0x000000000156eb7c swift::GenericSignatureBuilder::checkSameTypeConstraints(llvm::ArrayRef<swift::GenericTypeParamType*>, swift::GenericSignatureBuilder::PotentialArchetype*) (/path/to/swift/bin/swift+0x156eb7c)
11 0x000000000156bd60 swift::GenericSignatureBuilder::finalize(swift::SourceLoc, llvm::ArrayRef<swift::GenericTypeParamType*>, bool) (/path/to/swift/bin/swift+0x156bd60)
12 0x00000000013747b9 swift::TypeChecker::checkGenericEnvironment(swift::GenericParamList*, swift::DeclContext*, swift::GenericSignature*, bool, llvm::function_ref<void (swift::GenericSignatureBuilder&)>) (/path/to/swift/bin/swift+0x13747b9)
13 0x0000000001374ba9 swift::TypeChecker::validateGenericTypeSignature(swift::GenericTypeDecl*) (/path/to/swift/bin/swift+0x1374ba9)
14 0x00000000013455a2 swift::TypeChecker::validateDecl(swift::ValueDecl*) (/path/to/swift/bin/swift+0x13455a2)
15 0x0000000001355193 (anonymous namespace)::DeclChecker::visitProtocolDecl(swift::ProtocolDecl*) (/path/to/swift/bin/swift+0x1355193)
16 0x0000000001343814 (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x1343814)
17 0x0000000001343723 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1343723)
18 0x00000000013cdb45 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cdb45)
19 0x0000000000f97086 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf97086)
20 0x00000000004aa750 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa750)
21 0x00000000004a8d7b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d7b)
22 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
23 0x00007f94d9571830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
24 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-24 16:15:34 +02:00
practicalswift
7631814b9f [swiftc (38 vs. 5528)] Add crasher in swift::TypeChecker::resolveWitness 
Add test case for crash triggered in `swift::TypeChecker::resolveWitness`.

Current number of unresolved compiler crashers: 38 (5528 resolved)

Assertion failure in [`lib/Sema/TypeCheckProtocol.cpp (line 2451)`](140198cf81/lib/Sema/TypeCheckProtocol.cpp (L2451)):

```
Assertion `Conformance->getWitness(requirement, nullptr).getDecl() == match.Witness && "Deduced different witnesses?"' failed.

When executing: void (anonymous namespace)::ConformanceChecker::recordWitness(swift::ValueDecl *, const (anonymous namespace)::RequirementMatch &, (anonymous namespace)::RequirementEnvironment &&)
```

Assertion context:

```c++
                                       const RequirementMatch &match,
                                       RequirementEnvironment &&reqEnvironment){
  // If we already recorded this witness, don't do so again.
  if (Conformance->hasWitness(requirement)) {
    assert(Conformance->getWitness(requirement, nullptr).getDecl() ==
             match.Witness && "Deduced different witnesses?");
    return;
  }

  // Record this witness in the conformance.
  auto witness = match.getWitness(TC.Context, std::move(reqEnvironment));
```
Stack trace:

```
0 0x0000000003a5fe98 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5fe98)
1 0x0000000003a605d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a605d6)
2 0x00007fb49f35c390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007fb49d882428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007fb49d88402a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007fb49d87abd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007fb49d87ac82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x000000000138ff32 (anonymous namespace)::ConformanceChecker::recordWitness(swift::ValueDecl*, (anonymous namespace)::RequirementMatch const&, (anonymous namespace)::RequirementEnvironment&&) (/path/to/swift/bin/swift+0x138ff32)
8 0x000000000138de7c (anonymous namespace)::ConformanceChecker::resolveWitnessViaLookup(swift::ValueDecl*) (/path/to/swift/bin/swift+0x138de7c)
9 0x000000000138a0cd swift::TypeChecker::resolveWitness(swift::NormalProtocolConformance const*, swift::ValueDecl*) (/path/to/swift/bin/swift+0x138a0cd)
10 0x00000000015a6e1d swift::NormalProtocolConformance::getWitness(swift::ValueDecl*, swift::LazyResolver*) const (/path/to/swift/bin/swift+0x15a6e1d)
11 0x00000000015a6cef swift::ProtocolConformance::getWitnessDecl(swift::ValueDecl*, swift::LazyResolver*) const (/path/to/swift/bin/swift+0x15a6cef)
12 0x00000000013872af swift::TypeChecker::findWitnessedObjCRequirements(swift::ValueDecl const*, bool) (/path/to/swift/bin/swift+0x13872af)
13 0x0000000001349b53 shouldMarkAsObjC(swift::TypeChecker&, swift::ValueDecl const*, bool) (/path/to/swift/bin/swift+0x1349b53)
14 0x0000000001357d54 (anonymous namespace)::DeclChecker::visitFuncDecl(swift::FuncDecl*) (/path/to/swift/bin/swift+0x1357d54)
15 0x000000000134391e (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x134391e)
16 0x000000000135440b (anonymous namespace)::DeclChecker::visitClassDecl(swift::ClassDecl*) (/path/to/swift/bin/swift+0x135440b)
17 0x000000000134390e (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/path/to/swift/bin/swift+0x134390e)
18 0x0000000001343723 swift::TypeChecker::typeCheckDecl(swift::Decl*, bool) (/path/to/swift/bin/swift+0x1343723)
19 0x00000000013cdb45 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cdb45)
20 0x0000000000f97086 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf97086)
21 0x00000000004aa750 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa750)
22 0x00000000004a8d7b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d7b)
23 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
24 0x00007fb49d86d830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
25 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-24 14:35:13 +02:00
practicalswift
be8e67d63b [swiftc (37 vs. 5528)] Add crasher in swift::ASTVisitor 
Add test case for crash triggered in `swift::ASTVisitor`.

Current number of unresolved compiler crashers: 37 (5528 resolved)

/cc @huonw - just wanted to let you know that this crasher caused an assertion failure for the assertion `!isObjC() && "cannot get root type of ObjC keypath"` added on 2017-05-01 by you in commit 07c5ab8fb2 :-)

Assertion failure in [`include/swift/AST/Expr.h (line 4891)`](f91a58e0ea/include/swift/AST/Expr.h (L4891)):

```
Assertion `!isObjC() && "cannot get root type of ObjC keypath"' failed.

When executing: swift::TypeRepr *swift::KeyPathExpr::getRootType() const
```

Assertion context:

```c++
    assert(!isObjC() && "cannot set parsed path of ObjC keypath");
    ParsedPath = path;
  }

  TypeRepr *getRootType() const {
    assert(!isObjC() && "cannot get root type of ObjC keypath");
    return RootType;
  }
  void setRootType(TypeRepr *rootType) {
    assert(!isObjC() && "cannot set root type of ObjC keypath");
    RootType = rootType;
```
Stack trace:

```
0 0x0000000003a5fe98 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5fe98)
1 0x0000000003a605d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a605d6)
2 0x00007f5683dfa390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f5682320428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f568232202a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f5682318bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f5682318c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x0000000001401a6f swift::ASTVisitor<(anonymous namespace)::FailureDiagnosis, bool, void, void, void, void, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x1401a6f)
8 0x00000000013f67ab swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) (/path/to/swift/bin/swift+0x13f67ab)
9 0x00000000013fc579 swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) (/path/to/swift/bin/swift+0x13fc579)
10 0x00000000013292e8 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>) (/path/to/swift/bin/swift+0x13292e8)
11 0x000000000132cbd6 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132cbd6)
12 0x0000000001331464 swift::TypeChecker::typeCheckCondition(swift::Expr*&, swift::DeclContext*) (/path/to/swift/bin/swift+0x1331464)
13 0x0000000001331650 swift::TypeChecker::typeCheckStmtCondition(llvm::MutableArrayRef<swift::StmtConditionElement>&, swift::DeclContext*, swift::Diag<>) (/path/to/swift/bin/swift+0x1331650)
14 0x00000000013b11e6 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13b11e6)
15 0x00000000013b09b6 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13b09b6)
16 0x00000000013b0296 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) (/path/to/swift/bin/swift+0x13b0296)
17 0x00000000013cdbc0 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cdbc0)
18 0x0000000000f97086 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf97086)
19 0x00000000004aa750 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa750)
20 0x00000000004a8d7b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d7b)
21 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
22 0x00007f568230b830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
23 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-24 13:14:37 +02:00
practicalswift
794ecc9eab [swiftc (36 vs. 5528)] Add crasher in swift::isExtensionApplied 
Add test case for crash triggered in `swift::isExtensionApplied`.

Current number of unresolved compiler crashers: 36 (5528 resolved)

/cc @swiftix - just wanted to let you know that this crasher caused an assertion failure for the assertion `getKind() != RequirementKind::Layout` added on 2017-01-11 by you in commit 29180ca1 :-)

Assertion failure in [`include/swift/AST/Requirement.h (line 86)`](fb7c4edb03/include/swift/AST/Requirement.h (L86)):

```
Assertion `getKind() != RequirementKind::Layout' failed.

When executing: swift::Type swift::Requirement::getSecondType() const
```

Assertion context:

```c++
    return FirstTypeAndKind.getPointer();
  }

  /// \brief Retrieve the second type.
  Type getSecondType() const {
    assert(getKind() != RequirementKind::Layout);
    return SecondType;
  }

  /// \brief Subst the types involved in this requirement.
  ///
```
Stack trace:

```
0 0x0000000003a5fe98 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5fe98)
1 0x0000000003a605d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a605d6)
2 0x00007f1439ed3390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007f14383f9428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007f14383fb02a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007f14383f1bd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007f14383f1c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000012ce169 swift::isExtensionApplied(swift::DeclContext&, swift::Type, swift::ExtensionDecl const*)::$_0::operator()(swift::Requirement&, swift::constraints::ConstraintKind) const (/path/to/swift/bin/swift+0x12ce169)
8 0x00000000012cdf61 swift::isExtensionApplied(swift::DeclContext&, swift::Type, swift::ExtensionDecl const*) (/path/to/swift/bin/swift+0x12cdf61)
9 0x0000000001586df2 doGlobalExtensionLookup(swift::Type, swift::Type, llvm::SmallVectorImpl<swift::ValueDecl*>&, swift::DeclContext const*, (anonymous namespace)::LookupState, swift::DeclVisibilityKind, swift::LazyResolver*) (/path/to/swift/bin/swift+0x1586df2)
10 0x0000000001585f9f lookupTypeMembers(swift::Type, swift::Type, swift::VisibleDeclConsumer&, swift::DeclContext const*, (anonymous namespace)::LookupState, swift::DeclVisibilityKind, swift::LazyResolver*) (/path/to/swift/bin/swift+0x1585f9f)
11 0x0000000001583e3e lookupVisibleMemberDeclsImpl(swift::Type, swift::VisibleDeclConsumer&, swift::DeclContext const*, (anonymous namespace)::LookupState, swift::DeclVisibilityKind, swift::LazyResolver*, llvm::SmallPtrSet<swift::TypeDecl*, 8u>&) (/path/to/swift/bin/swift+0x1583e3e)
12 0x0000000001583767 lookupVisibleMemberDecls(swift::Type, swift::VisibleDeclConsumer&, swift::DeclContext const*, (anonymous namespace)::LookupState, swift::DeclVisibilityKind, swift::LazyResolver*) (/path/to/swift/bin/swift+0x1583767)
13 0x0000000001377d31 swift::TypeChecker::performTypoCorrection(swift::DeclContext*, swift::DeclRefKind, swift::Type, swift::DeclName, swift::SourceLoc, swift::OptionSet<swift::NameLookupFlags, unsigned int>, swift::LookupResult&, unsigned int) (/path/to/swift/bin/swift+0x1377d31)
14 0x00000000014127ea (anonymous namespace)::FailureDiagnosis::diagnoseUnviableLookupResults(swift::constraints::MemberLookupResult&, swift::Type, swift::Expr*, swift::DeclName, swift::DeclNameLoc, swift::SourceLoc) (/path/to/swift/bin/swift+0x14127ea)
15 0x0000000001408370 (anonymous namespace)::FailureDiagnosis::diagnoseMemberFailures(swift::Expr*, swift::Expr*, swift::constraints::ConstraintKind, swift::DeclName, swift::FunctionRefKind, swift::constraints::ConstraintLocator*, llvm::Optional<std::function<bool (llvm::ArrayRef<swift::constraints::OverloadChoice>)> >, bool) (/path/to/swift/bin/swift+0x1408370)
16 0x00000000013fd1d4 swift::ASTVisitor<(anonymous namespace)::FailureDiagnosis, bool, void, void, void, void, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x13fd1d4)
17 0x00000000013f67ab swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) (/path/to/swift/bin/swift+0x13f67ab)
18 0x00000000013fc579 swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) (/path/to/swift/bin/swift+0x13fc579)
19 0x00000000013292e8 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>) (/path/to/swift/bin/swift+0x13292e8)
20 0x000000000132cbd6 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132cbd6)
21 0x00000000013b0a85 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13b0a85)
22 0x00000000013b0296 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) (/path/to/swift/bin/swift+0x13b0296)
23 0x00000000013cdbc0 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cdbc0)
24 0x0000000000f97086 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf97086)
25 0x00000000004aa750 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa750)
26 0x00000000004a8d7b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d7b)
27 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
28 0x00007f14383e4830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
29 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-24 11:52:13 +02:00
practicalswift
7b7a80bad2 [swiftc (35 vs. 5528)] Add crasher in swift::Expr::walk(...) 
Add test case for crash triggered in `swift::Expr::walk(...)`.

Current number of unresolved compiler crashers: 35 (5528 resolved)

/cc @lattner - just wanted to let you know that this crasher caused an assertion failure for the assertion `value != OpenExistentials.end() && "didn't see this OVE in a containing OpenExistentialExpr?"` added on 2015-11-15 by you in commit 13792f91 :-)

Assertion failure in [`lib/Sema/CSDiag.cpp (line 3223)`](1c4f299a3c/lib/Sema/CSDiag.cpp (L3223)):

```
Assertion `value != OpenExistentials.end() && "didn't see this OVE in a containing OpenExistentialExpr?"' failed.

When executing: virtual std::pair<bool, Expr *> eraseOpenedExistentials(swift::Expr *&)::ExistentialEraser::walkToExprPre(swift::Expr *)
```

Assertion context:

```c++
      }

      if (auto OVE = dyn_cast<OpaqueValueExpr>(expr)) {
        auto value = OpenExistentials.find(OVE);
        assert(value != OpenExistentials.end() &&
               "didn't see this OVE in a containing OpenExistentialExpr?");
        return { true, value->second };
      }

      // Handle collection upcasts specially so that we don't blow up on
      // their embedded OVEs.
```
Stack trace:

```
0 0x0000000003a5fe98 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/path/to/swift/bin/swift+0x3a5fe98)
1 0x0000000003a605d6 SignalHandler(int) (/path/to/swift/bin/swift+0x3a605d6)
2 0x00007efea3b8d390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
3 0x00007efea20b3428 gsignal /build/glibc-9tT8Do/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
4 0x00007efea20b502a abort /build/glibc-9tT8Do/glibc-2.23/stdlib/abort.c:91:0
5 0x00007efea20abbd7 __assert_fail_base /build/glibc-9tT8Do/glibc-2.23/assert/assert.c:92:0
6 0x00007efea20abc82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
7 0x00000000014063d4 eraseOpenedExistentials(swift::Expr*&)::ExistentialEraser::walkToExprPre(swift::Expr*) (/path/to/swift/bin/swift+0x14063d4)
8 0x0000000001510e95 (anonymous namespace)::Traversal::visitSelfApplyExpr(swift::SelfApplyExpr*) (/path/to/swift/bin/swift+0x1510e95)
9 0x0000000001510d2a (anonymous namespace)::Traversal::visitApplyExpr(swift::ApplyExpr*) (/path/to/swift/bin/swift+0x1510d2a)
10 0x000000000150d55b swift::Expr::walk(swift::ASTWalker&) (/path/to/swift/bin/swift+0x150d55b)
11 0x0000000001402581 (anonymous namespace)::FailureDiagnosis::typeCheckChildIndependently(swift::Expr*, swift::Type, swift::ContextualTypePurpose, swift::OptionSet<TCCFlags, unsigned int>, swift::ExprTypeCheckListener*, bool) (/path/to/swift/bin/swift+0x1402581)
12 0x00000000013ffc00 swift::ASTVisitor<(anonymous namespace)::FailureDiagnosis, bool, void, void, void, void, void>::visit(swift::Expr*) (/path/to/swift/bin/swift+0x13ffc00)
13 0x00000000013f67ab swift::constraints::ConstraintSystem::diagnoseFailureForExpr(swift::Expr*) (/path/to/swift/bin/swift+0x13f67ab)
14 0x00000000013fc579 swift::constraints::ConstraintSystem::salvage(llvm::SmallVectorImpl<swift::constraints::Solution>&, swift::Expr*) (/path/to/swift/bin/swift+0x13fc579)
15 0x00000000013292e8 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>) (/path/to/swift/bin/swift+0x13292e8)
16 0x000000000132cbd6 swift::TypeChecker::typeCheckExpression(swift::Expr*&, swift::DeclContext*, swift::TypeLoc, swift::ContextualTypePurpose, swift::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::ExprTypeCheckListener*, swift::constraints::ConstraintSystem*) (/path/to/swift/bin/swift+0x132cbd6)
17 0x00000000013b0a85 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/path/to/swift/bin/swift+0x13b0a85)
18 0x00000000013b0296 swift::TypeChecker::typeCheckTopLevelCodeDecl(swift::TopLevelCodeDecl*) (/path/to/swift/bin/swift+0x13b0296)
19 0x00000000013cdbc0 swift::performTypeChecking(swift::SourceFile&, swift::TopLevelContext&, swift::OptionSet<swift::TypeCheckingFlags, unsigned int>, unsigned int, unsigned int) (/path/to/swift/bin/swift+0x13cdbc0)
20 0x0000000000f97086 swift::CompilerInstance::performSema() (/path/to/swift/bin/swift+0xf97086)
21 0x00000000004aa750 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) (/path/to/swift/bin/swift+0x4aa750)
22 0x00000000004a8d7b swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/path/to/swift/bin/swift+0x4a8d7b)
23 0x00000000004655c7 main (/path/to/swift/bin/swift+0x4655c7)
24 0x00007efea209e830 __libc_start_main /build/glibc-9tT8Do/glibc-2.23/csu/../csu/libc-start.c:325:0
25 0x0000000000462c69 _start (/path/to/swift/bin/swift+0x462c69)
```
 2017-05-24 10:26:53 +02:00