[SR-6225] Swift compiler crashes if two protocols refer the type of each other spreat around diffenrent files. #48777
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
crash
Bug: A crash, i.e., an abnormal termination of software
serialization
Area → compiler: Serialization & deserialization
Comments
|
Yep, recursive protocol references aren't supported in general in Swift 4.0, but they're especially broken across file boundaries. We've made some progress on the master branch, though; would you mind trying with a recent "development snapshot" from https://swift.org/download/ ? |
AnthonyLatsis
added
the
crash
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Additional Detail from JIRA
md5: ae38afb98c00dbcabdb1188942d6933a
relates to:
Issue Description:
Let's consider you want to write a library for units, and let's assume your base protocol for a unit looks like:
public protocol Unit \{static var symbol : String \{ get}static var name : String \{ get}static var exponent : UInt \{ get}``}
Next, lets consider you want to have one derived protocol for length units and one for area units. As you want to use generic implementation of the * and / operators, a length unit must know corresponding AreaUnit and the AreaUnit must know its Length Unit.
public protocol LengthUnit : Unit \{associatedtype AreaType : AreaUnit``}
public protocol AreaUnit : Unit \{associatedtype LengthType: LengthUnit``}
The code compiles if all three protocols are defines in the same file. If all three are defined in different files the Swift compiler crashes.
The compiler prints the followig information:
*** DESERIALIZATION FAILURE (please include this section in any bug report) ***top-level value not foundCross-reference to module 'ThroughputTest'... AreaUnit``0 swift 0x0000000108931dba PrintStackTraceSignalHandler(void*) + 421 swift 0x00000001089311f6 SignalHandler(int) + 6622 libsystem_platform.dylib 0x00007fff72661f5a _sigtramp + 263 libsystem_platform.dylib 0x00007ffeea9cc0a8 _sigtramp + 20168461844 libsystem_c.dylib 0x00007fff7248d32a abort + 1275 swift 0x000000010602dbd1 swift::ModuleFile::fatal(llvm::Error) + 15696 swift 0x000000010603848a swift::ModuleFile::getDeclChecked(llvm::PointerEmbeddedInt<unsigned int, 31>, llvm::Optional<swift::DeclContext*>) + 419787 swift 0x000000010602e054 swift::ModuleFile::getDecl(llvm::PointerEmbeddedInt<unsigned int, 31>, llvm::Optional<swift::DeclContext*>) + 848 swift 0x000000010603b00c swift::ModuleFile::getTypeChecked(llvm::PointerEmbeddedInt<unsigned int, 31>) + 18369 swift 0x0000000106039008 swift::ModuleFile::readGenericRequirements(llvm::SmallVectorImpl<swift::Requirement>&, llvm::BitstreamCursor&) + 20010 swift 0x0000000106034ac9 swift::ModuleFile::getDeclChecked(llvm::PointerEmbeddedInt<unsigned int, 31>, llvm::Optional<swift::DeclContext*>) + 2719311 swift 0x00000001060d04ea swift::SerializedASTFile::lookupValue(llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::DeclName, swift::NLKind, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 108212 swift 0x00000001064efb7d void lookupInModule<llvm::SmallSet<swift::CanType, 4u, (anonymous namespace)::SortCanType>, swift::namelookup::lookupInModule(swift::ModuleDecl*, llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::DeclName, llvm::SmallVectorImpl<swift::ValueDecl*>&, swift::NLKind, swift::namelookup::ResolutionKind, swift::LazyResolver*, swift::DeclContext const*, llvm::ArrayRef<std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*> >)::$_0>(swift::ModuleDecl*, llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, llvm::SmallVectorImpl<swift::ValueDecl*>&, swift::namelookup::ResolutionKind, bool, swift::LazyResolver*, llvm::SmallDenseMap<std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>, llvm::TinyPtrVector<swift::ValueDecl*>, 32u, llvm::DenseMapInfo<std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*> >, llvm::detail::DenseMapPair<std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*>, llvm::TinyPtrVector<swift::ValueDecl*> > >&, swift::DeclContext const*, bool, llvm::ArrayRef<std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*> >, swift::namelookup::lookupInModule(swift::ModuleDecl*, llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::DeclName, llvm::SmallVectorImpl<swift::ValueDecl*>&, swift::NLKind, swift::namelookup::ResolutionKind, swift::LazyResolver*, swift::DeclContext const*, llvm::ArrayRef<std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*> >)::$_0) + 33313 swift 0x00000001064ef9f3 swift::namelookup::lookupInModule(swift::ModuleDecl*, llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::DeclName, llvm::SmallVectorImpl<swift::ValueDecl*>&, swift::NLKind, swift::namelookup::ResolutionKind, swift::LazyResolver*, swift::DeclContext const*, llvm::ArrayRef<std::__1::pair<llvm::ArrayRef<std::__1::pair<swift::Identifier, swift::SourceLoc> >, swift::ModuleDecl*> >) + 126714 swift 0x00000001064f86de swift::DeclContext::lookupQualified(swift::Type, swift::DeclName, swift::NLOptions, swift::LazyResolver*, llvm::SmallVectorImpl<swift::ValueDecl*>&) const + 147015 swift 0x000000010603fa3a swift::ModuleFile::resolveCrossReference(swift::ModuleDecl*, unsigned int) + 87416 swift 0x0000000106031a85 swift::ModuleFile::getDeclChecked(llvm::PointerEmbeddedInt<unsigned int, 31>, llvm::Optional<swift::DeclContext*>) + 1483717 swift 0x000000010603b913 swift::ModuleFile::getTypeChecked(llvm::PointerEmbeddedInt<unsigned int, 31>) + 414718 swift 0x0000000106033b2a swift::ModuleFile::getDeclChecked(llvm::PointerEmbeddedInt<unsigned int, 31>, llvm::Optional<swift::DeclContext*>) + 2319419 swift 0x000000010602e054 swift::ModuleFile::getDecl(llvm::PointerEmbeddedInt<unsigned int, 31>, llvm::Optional<swift::DeclContext*>) + 8420 swift 0x000000010603b00c swift::ModuleFile::getTypeChecked(llvm::PointerEmbeddedInt<unsigned int, 31>) + 183621 swift 0x0000000106039008 swift::ModuleFile::readGenericRequirements(llvm::SmallVectorImpl<swift::Requirement>&, llvm::BitstreamCursor&) + 20022 swift 0x0000000106034ac9 swift::ModuleFile::getDeclChecked(llvm::PointerEmbeddedInt<unsigned int, 31>, llvm::Optional<swift::DeclContext*>) + 2719323 swift 0x0000000106067f9e swift::ModuleFile::getTopLevelDecls(llvm::SmallVectorImpl<swift::Decl*>&) + 199824 swift 0x0000000105cf85f0 swift::SILPassManager::SILPassManager(swift::SILModule*, llvm::StringRef) + 171225 swift 0x0000000105cfec8f swift::runSILDiagnosticPasses(swift::SILModule&) + 17526 swift 0x00000001052a4534 performCompile(swift::CompilerInstance&, swift::CompilerInvocation&, llvm::ArrayRef<char const*>, int&, swift::FrontendObserver*, swift::UnifiedStatsReporter*) + 1384427 swift 0x000000010529f6b4 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 771628 swift 0x00000001052545d8 main + 1224829 libdyld.dylib 0x00007fff723e1145 start + 130 libdyld.dylib 0x000000000000003c start + 2378297080Stack dump:0. Program arguments: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift -frontend -emit-module /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/CompilerCrash~partial.swiftmodule /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/CompilerCrash3~partial.swiftmodule /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/CompilerCrash2~partial.swiftmodule /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/ViewController~partial.swiftmodule /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/AppDelegate~partial.swiftmodule -parse-as-library -target x86_64-apple-ios10.3 -enable-objc-interop -sdk /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator11.0.sdk -I /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Products/Debug-iphonesimulator -F /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Products/Debug-iphonesimulator -enable-testing -g -module-cache-path /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ModuleCache -swift-version 3 -enforce-exclusivity=checked -D DEBUG -serialize-debugging-options -Xcc -I/Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/swift-overrides.hmap -Xcc -iquote -Xcc /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/ThroughputTest-generated-files.hmap -Xcc -I/Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/ThroughputTest-own-target-headers.hmap -Xcc -I/Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/ThroughputTest-all-target-headers.hmap -Xcc -iquote -Xcc /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/ThroughputTest-project-headers.hmap -Xcc -I/Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Products/Debug-iphonesimulator/include -Xcc -I/Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/DerivedSources/x86_64 -Xcc -I/Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/DerivedSources -Xcc -DDEBUG=1 -Xcc -working-directory/Users/stephan.rehfeld/Documents/repos/ThroughputTest -emit-module-doc-path /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/ThroughputTest.swiftdoc -module-name ThroughputTest -emit-objc-header-path /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/ThroughputTest-Swift.h -o /Users/stephan.rehfeld/Library/Developer/Xcode/DerivedData/ThroughputTest-fncirewswnhfibgvxibvxrrourcj/Build/Intermediates.noindex/ThroughputTest.build/Debug-iphonesimulator/ThroughputTest.build/Objects-normal/x86_64/ThroughputTest.swiftmodule1. While reading from 'ThroughputTest'2. While deserializing 'AreaUnit' (ProtocolDecl #​1) in 'ThroughputTest'3. While deserializing 'LengthType' (AssociatedTypeDecl #​2) in 'ThroughputTest'4. While deserializing decl #​5 (XREF) in 'ThroughputTest'5. Cross-reference to module 'ThroughputTest'... LengthUnit6. While reading from 'ThroughputTest'7. While deserializing 'LengthUnit' (ProtocolDecl #​1) in 'ThroughputTest'8. While deserializing 'AreaType' (AssociatedTypeDecl #​2) in 'ThroughputTest'The text was updated successfully, but these errors were encountered: