Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Compiler crash when calling throwing function after initializing type with parameters pack #73044

Open
martialln opened this issue Apr 16, 2024 · 2 comments
Open

Compiler crash when calling throwing function after initializing type with parameters pack #73044

martialln opened this issue Apr 16, 2024 · 2 comments
Labels
assertion failure Bug → crash: An assertion failure 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 error handling expressions Feature: expressions generics Feature: generic declarations and types pack expansions Feature → expressions: Pack expansion expressions properties Feature: properties SILGen Area → compiler: The SIL generation stage swift 6.0 variadic generics Feature → generics: Variadic generics verifier

Comments

@martialln
Copy link

Description

I have a type which use parameter pack as generic parameter.

When initializing, I have to call a throwing function after initializing all properties. When doing so the compiler crash.

Not that if I'm calling a non-throwing function, the compilation succeed without error.
Also if I use try? to ignore the thrown error, the compilation succeed without error.

Reproduction

protocol Initializer {
    func foo() -> Bool
    func bar() throws -> Bool
}
protocol Initializable {
    init(with initializer: inout Initializer) throws
}
struct Box<each Element: Initializable>: Initializable {
    let elements: (repeat each Element)
    
    init(with initializer: inout Initializer) throws {
        self.elements = (repeat try (each Element).init(with: &initializer))
        
        //_ = initializer.foo() // Compile successfully
        _ = try initializer.bar() // Compiler crash!
        //_ = try? initializer.bar() // Compile successfully
    }
}

Stack dump

SIL verification failed: tuple_element_addr cannot be used with tuples containing pack expansions: !tupleType.containsPackExpansionType()
Verifying instruction:
     %82 = struct_element_addr %4 : $*Box<repeat each Element>, #Box.elements // user: %83
->   %83 = tuple_element_addr %82 : $*(repeat each Element), 0 // user: %84
     destroy_addr %83 : $*repeat each Element     // id: %84
In function:
// Box.init(with:)
sil [ossa] @$s7vgtests3BoxV4withACyxxQp_QPGAA11Initializer_pz_tKcfC : $@convention(method) <each Element where repeat each Element : Initializable> (@inout any Initializer, @thin Box<repeat each Element>.Type) -> (@out Box<repeat each Element>, @error any Error) {
// %0 "$return_value"                             // user: %54
// %1 "initializer"                               // users: %44, %35, %21, %7
// %2 "$metatype"
bb0(%0 : $*Box<repeat each Element>, %1 : $*any Initializer, %2 : $@thin Box<repeat each Element>.Type):
  %3 = alloc_stack $Builtin.Int1                  // users: %80, %31, %6, %88, %57
  %4 = alloc_stack [dynamic_lifetime] [lexical] [var_decl] $Box<repeat each Element>, var, name "self" // users: %54, %28, %82, %87, %55
  %5 = integer_literal $Builtin.Int1, 0           // user: %6
  store %5 to [trivial] %3 : $*Builtin.Int1       // id: %6
  debug_value %1 : $*any Initializer, var, name "initializer", argno 1, expr op_deref // id: %7
  debug_value undef : $any Error, var, name "$error", argno 2 // id: %8
  %9 = alloc_stack $(repeat each Element)         // users: %34, %32, %73, %70, %19
  %10 = integer_literal $Builtin.Word, 0          // user: %13
  %11 = integer_literal $Builtin.Word, 1          // user: %26
  %12 = pack_length $Pack{repeat each Element}    // user: %15
  br bb1(%10 : $Builtin.Word)                     // id: %13

// %14                                            // users: %26, %63, %17, %15
bb1(%14 : $Builtin.Word):                         // Preds: bb3 bb0
  %15 = builtin "cmp_eq_Word"(%14 : $Builtin.Word, %12 : $Builtin.Word) : $Builtin.Int1 // user: %16
  cond_br %15, bb4, bb2                           // id: %16

bb2:                                              // Preds: bb1
  %17 = dynamic_pack_index %14 of $Pack{repeat each Element} // users: %19, %18
  %18 = open_pack_element %17 of <each Element where repeat each Element : Initializable> at <Pack{repeat each Element}>, shape $each Element, uuid "84FD5836-FBC6-11EE-8C65-9EF225039CA4" // users: %23, %22, %20, %19
  %19 = tuple_pack_element_addr %17 of %9 : $*(repeat each Element) as $*@pack_element("84FD5836-FBC6-11EE-8C65-9EF225039CA4") each Element // user: %23
  %20 = metatype $@thick (@pack_element("84FD5836-FBC6-11EE-8C65-9EF225039CA4") each Element).Type // type-defs: %18; user: %23
  %21 = begin_access [modify] [static] %1 : $*any Initializer // users: %25, %23, %60
  %22 = witness_method $@pack_element("84FD5836-FBC6-11EE-8C65-9EF225039CA4") each Element, #Initializable.init!allocator : <Self where Self : Initializable> (Self.Type) -> (inout any Initializer) throws -> Self, %18 : $Builtin.SILToken : $@convention(witness_method: Initializable) <τ_0_0 where τ_0_0 : Initializable> (@inout any Initializer, @thick τ_0_0.Type) -> (@out τ_0_0, @error any Error) // type-defs: %18; user: %23
  try_apply %22<(@pack_element("84FD5836-FBC6-11EE-8C65-9EF225039CA4") each Element)>(%19, %21, %20) : $@convention(witness_method: Initializable) <τ_0_0 where τ_0_0 : Initializable> (@inout any Initializer, @thick τ_0_0.Type) -> (@out τ_0_0, @error any Error), normal bb3, error bb6 // type-defs: %18; id: %23

bb3(%24 : $()):                                   // Preds: bb2
  end_access %21 : $*any Initializer              // id: %25
  %26 = builtin "add_Word"(%14 : $Builtin.Word, %11 : $Builtin.Word) : $Builtin.Word // user: %27
  br bb1(%26 : $Builtin.Word)                     // id: %27

bb4:                                              // Preds: bb1
  %28 = begin_access [modify] [static] %4 : $*Box<repeat each Element> // users: %33, %29
  %29 = struct_element_addr %28 : $*Box<repeat each Element>, #Box.elements // user: %32
  %30 = integer_literal $Builtin.Int1, -1         // user: %31
  store %30 to [trivial] %3 : $*Builtin.Int1      // id: %31
  copy_addr [take] %9 to [init] %29 : $*(repeat each Element) // id: %32
  end_access %28 : $*Box<repeat each Element>     // id: %33
  dealloc_stack %9 : $*(repeat each Element)      // id: %34
  %35 = begin_access [read] [static] %1 : $*any Initializer // users: %38, %37
  %36 = alloc_stack $any Initializer              // users: %43, %42, %39, %37
  copy_addr %35 to [init] %36 : $*any Initializer // id: %37
  end_access %35 : $*any Initializer              // id: %38
  %39 = open_existential_addr immutable_access %36 : $*any Initializer to $*@opened("84FD601A-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self // users: %41, %41, %40
  %40 = witness_method $@opened("84FD601A-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self, #Initializer.foo : <Self where Self : Initializer> (Self) -> () -> Bool, %39 : $*@opened("84FD601A-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self : $@convention(witness_method: Initializer) <τ_0_0 where τ_0_0 : Initializer> (@in_guaranteed τ_0_0) -> Bool // type-defs: %39; user: %41
  %41 = apply %40<@opened("84FD601A-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self>(%39) : $@convention(witness_method: Initializer) <τ_0_0 where τ_0_0 : Initializer> (@in_guaranteed τ_0_0) -> Bool // type-defs: %39
  destroy_addr %36 : $*any Initializer            // id: %42
  dealloc_stack %36 : $*any Initializer           // id: %43
  %44 = begin_access [read] [static] %1 : $*any Initializer // users: %47, %46
  %45 = alloc_stack $any Initializer              // users: %53, %52, %77, %76, %48, %46
  copy_addr %44 to [init] %45 : $*any Initializer // id: %46
  end_access %44 : $*any Initializer              // id: %47
  %48 = open_existential_addr immutable_access %45 : $*any Initializer to $*@opened("84FD631C-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self // users: %50, %50, %49
  %49 = witness_method $@opened("84FD631C-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self, #Initializer.bar : <Self where Self : Initializer> (Self) -> () throws -> Bool, %48 : $*@opened("84FD631C-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self : $@convention(witness_method: Initializer) <τ_0_0 where τ_0_0 : Initializer> (@in_guaranteed τ_0_0) -> (Bool, @error any Error) // type-defs: %48; user: %50
  try_apply %49<@opened("84FD631C-FBC6-11EE-8C65-9EF225039CA4", any Initializer) Self>(%48) : $@convention(witness_method: Initializer) <τ_0_0 where τ_0_0 : Initializer> (@in_guaranteed τ_0_0) -> (Bool, @error any Error), normal bb5, error bb10 // type-defs: %48; id: %50

bb5(%51 : $Bool):                                 // Preds: bb4
  destroy_addr %45 : $*any Initializer            // id: %52
  dealloc_stack %45 : $*any Initializer           // id: %53
  copy_addr [take] %4 to [init] %0 : $*Box<repeat each Element> // id: %54
  dealloc_stack %4 : $*Box<repeat each Element>   // id: %55
  %56 = tuple ()                                  // user: %58
  dealloc_stack %3 : $*Builtin.Int1               // id: %57
  return %56 : $()                                // id: %58

// %59                                            // user: %74
bb6(%59 : @owned $any Error):                     // Preds: bb2
  end_access %21 : $*any Initializer              // id: %60
  %61 = integer_literal $Builtin.Word, 0          // user: %65
  %62 = integer_literal $Builtin.Word, 1          // user: %67
  br bb7(%14 : $Builtin.Word)                     // id: %63

// %64                                            // users: %67, %65
bb7(%64 : $Builtin.Word):                         // Preds: bb8 bb6
  %65 = builtin "cmp_eq_Word"(%64 : $Builtin.Word, %61 : $Builtin.Word) : $Builtin.Int1 // user: %66
  cond_br %65, bb9, bb8                           // id: %66

bb8:                                              // Preds: bb7
  %67 = builtin "sub_Word"(%64 : $Builtin.Word, %62 : $Builtin.Word) : $Builtin.Word // users: %72, %68
  %68 = dynamic_pack_index %67 of $Pack{repeat each Element} // users: %70, %69
  %69 = open_pack_element %68 of <each Element where repeat each Element : Initializable> at <Pack{repeat each Element}>, shape $each Element, uuid "84FE470A-FBC6-11EE-8C65-9EF225039CA4" // user: %70
  %70 = tuple_pack_element_addr %68 of %9 : $*(repeat each Element) as $*@pack_element("84FE470A-FBC6-11EE-8C65-9EF225039CA4") each Element // user: %71
  destroy_addr %70 : $*@pack_element("84FE470A-FBC6-11EE-8C65-9EF225039CA4") each Element // id: %71
  br bb7(%67 : $Builtin.Word)                     // id: %72

bb9:                                              // Preds: bb7
  dealloc_stack %9 : $*(repeat each Element)      // id: %73
  br bb11(%59 : $any Error)                       // id: %74

// %75                                            // user: %78
bb10(%75 : @owned $any Error):                    // Preds: bb4
  destroy_addr %45 : $*any Initializer            // id: %76
  dealloc_stack %45 : $*any Initializer           // id: %77
  br bb11(%75 : $any Error)                       // id: %78

// %79                                            // user: %89
bb11(%79 : @owned $any Error):                    // Preds: bb10 bb9
  %80 = load [trivial] %3 : $*Builtin.Int1        // user: %81
  cond_br %80, bb12, bb13                         // id: %81

bb12:                                             // Preds: bb11
  %82 = struct_element_addr %4 : $*Box<repeat each Element>, #Box.elements // user: %83
  %83 = tuple_element_addr %82 : $*(repeat each Element), 0 // user: %84
  destroy_addr %83 : $*repeat each Element        // id: %84
  br bb14                                         // id: %85

bb13:                                             // Preds: bb11
  br bb14                                         // id: %86

bb14:                                             // Preds: bb13 bb12
  dealloc_stack %4 : $*Box<repeat each Element>   // id: %87
  dealloc_stack %3 : $*Builtin.Int1               // id: %88
  throw %79 : $any Error                          // id: %89
} // end sil function '$s7vgtests3BoxV4withACyxxQp_QPGAA11Initializer_pz_tKcfC'

Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Stack dump:
0.	Program arguments: /Library/Developer/Toolchains/swift-DEVELOPMENT-SNAPSHOT-2024-04-13-a.xctoolchain/usr/bin/swift-frontend -frontend -c -primary-file <homedir>/variadic-generic-tests/Sources/main.swift -emit-dependencies-path <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/Objects-normal/arm64/main.d -emit-const-values-path <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/Objects-normal/arm64/main.swiftconstvalues -emit-reference-dependencies-path <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/Objects-normal/arm64/main.swiftdeps -serialize-diagnostics-path <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/Objects-normal/arm64/main.dia -target arm64-apple-macos14.0 -Xllvm -aarch64-use-tbi -enable-objc-interop -sdk /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.2.sdk -I <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Products/Debug -I /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib -F <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Products/Debug -F /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/Library/Frameworks -no-color-diagnostics -enable-testing -g -module-cache-path <homedir>/Library/Developer/Xcode/DerivedData/ModuleCache.noindex -swift-version 5 -enforce-exclusivity=checked -Onone -D SWIFT_PACKAGE -D DEBUG -D Xcode -serialize-debugging-options -package-name variadic_generic_tests -const-gather-protocols-file <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/Objects-normal/arm64/vgtests_const_extract_protocols.json -empty-abi-descriptor -validate-clang-modules-once -clang-build-session-file <homedir>/Library/Developer/Xcode/DerivedData/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc <homedir>/variadic-generic-tests -resource-dir /Library/Developer/Toolchains/swift-DEVELOPMENT-SNAPSHOT-2024-04-13-a.xctoolchain/usr/lib/swift -enable-anonymous-context-mangled-names -Xcc -I<homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Products/Debug/include -Xcc -I<homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/DerivedSources-normal/arm64 -Xcc -I<homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/DerivedSources/arm64 -Xcc -I<homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG=1 -module-name vgtests -frontend-parseable-output -disable-clang-spi -disable-availability-checking -target-sdk-version 14.2 -target-sdk-name macosx14.2 -external-plugin-path /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.2.sdk/usr/lib/swift/host/plugins#/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.2.sdk/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.2.sdk/usr/local/lib/swift/host/plugins#/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.2.sdk/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib/swift/host/plugins#/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/local/lib/swift/host/plugins#/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -plugin-path /Library/Developer/Toolchains/swift-DEVELOPMENT-SNAPSHOT-2024-04-13-a.xctoolchain/usr/lib/swift/host/plugins -plugin-path /Library/Developer/Toolchains/swift-DEVELOPMENT-SNAPSHOT-2024-04-13-a.xctoolchain/usr/local/lib/swift/host/plugins -o <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Build/Intermediates.noindex/vgtests.build/Debug/vgtests.build/Objects-normal/arm64/main.o -index-unit-output-path /vgtests.build/Debug/vgtests.build/Objects-normal/arm64/main.o -index-store-path <homedir>/Library/Developer/Xcode/DerivedData/variadic-generic-tests-cvgynpsdlgsgsybdcgrgztjrnoge/Index.noindex/DataStore -index-system-modules
1.	Apple Swift version 6.0-dev (LLVM 01231f56c62f4c4, Swift abaa63821080b92)
2.	Compiling with effective version 5.10
3.	While verifying SIL function "@$s7vgtests3BoxV4withACyxxQp_QPGAA11Initializer_pz_tKcfC".
 for 'init(with:)' (at <homedir>/variadic-generic-tests/Sources/main.swift:11:5)
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0  swift-frontend           0x0000000107704e34 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1  swift-frontend           0x0000000107703600 llvm::sys::RunSignalHandlers() + 112
2  swift-frontend           0x000000010770547c SignalHandler(int) + 304
3  libsystem_platform.dylib 0x00000001841bf584 _sigtramp + 56
4  libsystem_pthread.dylib  0x000000018418ec20 pthread_kill + 288
5  libsystem_c.dylib        0x000000018409ba20 abort + 180
6  swift-frontend           0x00000001031ffc58 swift::SILOptions::~SILOptions() + 0
7  swift-frontend           0x000000010320829c swift::SILVisitorBase<(anonymous namespace)::SILVerifier, void>::visitSILBasicBlock(swift::SILBasicBlock*) + 17528
8  swift-frontend           0x0000000103203d24 (anonymous namespace)::SILVerifier::visitSILBasicBlock(swift::SILBasicBlock*) + 28
9  swift-frontend           0x000000010320278c (anonymous namespace)::SILVerifier::visitSILFunction(swift::SILFunction*) + 9724
10 swift-frontend           0x00000001031fc0d8 swift::SILFunction::verify(swift::CalleeCache*, bool, bool, bool) const + 204
11 swift-frontend           0x00000001031ff1dc swift::SILModule::verify(swift::CalleeCache*, bool, bool) const + 192
12 swift-frontend           0x00000001031ff0b4 swift::SILModule::verify(bool, bool) const + 140
13 swift-frontend           0x00000001024f6474 swift::CompilerInstance::performSILProcessing(swift::SILModule*) + 136
14 swift-frontend           0x00000001022bb4c8 performCompileStepsPostSILGen(swift::CompilerInstance&, std::__1::unique_ptr<swift::SILModule, std::__1::default_delete<swift::SILModule>>, llvm::PointerUnion<swift::ModuleDecl*, swift::SourceFile*>, swift::PrimarySpecificPaths const&, int&, swift::FrontendObserver*) + 796
15 swift-frontend           0x00000001022babdc swift::performCompileStepsPostSema(swift::CompilerInstance&, int&, swift::FrontendObserver*) + 612
16 swift-frontend           0x00000001022cbe14 withSemanticAnalysis(swift::CompilerInstance&, swift::FrontendObserver*, llvm::function_ref<bool (swift::CompilerInstance&)>, bool) + 160
17 swift-frontend           0x00000001022bd1ec performCompile(swift::CompilerInstance&, int&, swift::FrontendObserver*) + 708
18 swift-frontend           0x00000001022bc158 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 2368
19 swift-frontend           0x00000001020d7870 swift::mainEntry(int, char const**) + 3096
20 dyld                     0x0000000183e060e0 start + 2360

Expected behavior

The compiler doesn't crash and compile correctly

Environment

Xcode
Version 15.2 (15C500b)
Toolchain: Swift Development Snapshot 2024-04-13 (a)

macOS 14.4.1 (23E224)

Additional information

Also reproduced using the toolchain shipped with Xcode (stack dump is different though) and with toolchain "Swift 6.0 Development Snapshot 2024-04-14 (a)"
@martialln martialln added bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. crash Bug: A crash, i.e., an abnormal termination of software triage needed This issue needs more specific labels labels Apr 16, 2024
@martialln
Copy link
Author

I reproduced the error with:

Xcode Version 15.3 (15E204a)
Toolchain: Swift 6.0 Development Snapshot 2024-04-17 (a)

@AnthonyLatsis
Copy link
Collaborator

Reduced:

protocol Initable {
  init() throws
}

func foo() throws {}

struct S<each Element: Initable> {
  var elements: (repeat each Element)

  init() throws {
    self.elements = (repeat try (each Element).init())

    try foo()
  }
}
SIL verification failed: tuple_element_addr cannot be used with tuples containing pack expansions: !tupleType.containsPackExpansionType()
Verifying instruction:
     %59 = struct_element_addr %3 : $*S<repeat each Element>, #S.elements // user: %60
->   %60 = tuple_element_addr %59 : $*(repeat each Element), 0 // user: %61
     destroy_addr %60 : $*repeat each Element     // id: %61
In function:
// S.init()
sil hidden [ossa] @$s4test1SVACyxxQp_QPGyKcfC : $@convention(method) <each Element where repeat each Element : Initable> (@thin S<repeat each Element>.Type) -> (@out S<repeat each Element>, @error any Error) {
// %0 "$return_value"                             // user: %34
// %1 "$metatype"
bb0(%0 : $*S<repeat each Element>, %1 : $@thin S<repeat each Element>.Type):
  %2 = alloc_stack $Builtin.Int1                  // users: %57, %27, %5, %65, %37
  %3 = alloc_stack [dynamic_lifetime] [lexical] [var_decl] $S<repeat each Element>, var, name "self" // users: %34, %24, %59, %64, %35
  %4 = integer_literal $Builtin.Int1, 0           // user: %5
  store %4 to [trivial] %2 : $*Builtin.Int1       // id: %5
  debug_value undef : $any Error, var, name "$error", argno 1 // id: %6
  %7 = alloc_stack $(repeat each Element)         // users: %30, %28, %52, %49, %17
  %8 = integer_literal $Builtin.Word, 0           // user: %11
  %9 = integer_literal $Builtin.Word, 1           // user: %22
  %10 = pack_length $Pack{repeat each Element}    // user: %13
  br bb1(%8 : $Builtin.Word)                      // id: %11

// %12                                            // users: %22, %42, %15, %13
bb1(%12 : $Builtin.Word):                         // Preds: bb3 bb0
  %13 = builtin "cmp_eq_Word"(%12 : $Builtin.Word, %10 : $Builtin.Word) : $Builtin.Int1 // user: %14
  cond_br %13, bb4, bb2                           // id: %14

bb2:                                              // Preds: bb1
  %15 = dynamic_pack_index %12 of $Pack{repeat each Element} // users: %17, %16
  %16 = open_pack_element %15 of <each Element where repeat each Element : Initable> at <Pack{repeat each Element}>, shape $each Element, uuid "F8D979A4-FE61-11EE-851C-ACDE48001122" // users: %20, %19, %18, %17
  %17 = tuple_pack_element_addr %15 of %7 : $*(repeat each Element) as $*@pack_element("F8D979A4-FE61-11EE-851C-ACDE48001122") each Element // user: %20
  %18 = metatype $@thick (@pack_element("F8D979A4-FE61-11EE-851C-ACDE48001122") each Element).Type // type-defs: %16; user: %20
  %19 = witness_method $@pack_element("F8D979A4-FE61-11EE-851C-ACDE48001122") each Element, #Initable.init!allocator : <Self where Self : Initable> (Self.Type) -> () throws -> Self, %16 : $Builtin.SILToken : $@convention(witness_method: Initable) <τ_0_0 where τ_0_0 : Initable> (@thick τ_0_0.Type) -> (@out τ_0_0, @error any Error) // type-defs: %16; user: %20
  try_apply %19<(@pack_element("F8D979A4-FE61-11EE-851C-ACDE48001122") each Element)>(%17, %18) : $@convention(witness_method: Initable) <τ_0_0 where τ_0_0 : Initable> (@thick τ_0_0.Type) -> (@out τ_0_0, @error any Error), normal bb3, error bb6 // type-defs: %16; id: %20

bb3(%21 : $()):                                   // Preds: bb2
  %22 = builtin "add_Word"(%12 : $Builtin.Word, %9 : $Builtin.Word) : $Builtin.Word // user: %23
  br bb1(%22 : $Builtin.Word)                     // id: %23

bb4:                                              // Preds: bb1
  %24 = begin_access [modify] [static] %3 : $*S<repeat each Element> // users: %29, %25
  %25 = struct_element_addr %24 : $*S<repeat each Element>, #S.elements // user: %28
  %26 = integer_literal $Builtin.Int1, -1         // user: %27
  store %26 to [trivial] %2 : $*Builtin.Int1      // id: %27
  copy_addr [take] %7 to [init] %25 : $*(repeat each Element) // id: %28
  end_access %24 : $*S<repeat each Element>       // id: %29
  dealloc_stack %7 : $*(repeat each Element)      // id: %30
  // function_ref foo()
  %31 = function_ref @$s4test3fooyyKF : $@convention(thin) () -> @error any Error // user: %32
  try_apply %31() : $@convention(thin) () -> @error any Error, normal bb5, error bb10 // id: %32

bb5(%33 : $()):                                   // Preds: bb4
  copy_addr [take] %3 to [init] %0 : $*S<repeat each Element> // id: %34
  dealloc_stack %3 : $*S<repeat each Element>     // id: %35
  %36 = tuple ()                                  // user: %38
  dealloc_stack %2 : $*Builtin.Int1               // id: %37
  return %36 : $()                                // id: %38

// %39                                            // user: %53
bb6(%39 : @owned $any Error):                     // Preds: bb2
  %40 = integer_literal $Builtin.Word, 0          // user: %44
  %41 = integer_literal $Builtin.Word, 1          // user: %46
  br bb7(%12 : $Builtin.Word)                     // id: %42

// %43                                            // users: %46, %44
bb7(%43 : $Builtin.Word):                         // Preds: bb8 bb6
  %44 = builtin "cmp_eq_Word"(%43 : $Builtin.Word, %40 : $Builtin.Word) : $Builtin.Int1 // user: %45
  cond_br %44, bb9, bb8                           // id: %45

bb8:                                              // Preds: bb7
  %46 = builtin "sub_Word"(%43 : $Builtin.Word, %41 : $Builtin.Word) : $Builtin.Word // users: %51, %47
  %47 = dynamic_pack_index %46 of $Pack{repeat each Element} // users: %49, %48
  %48 = open_pack_element %47 of <each Element where repeat each Element : Initable> at <Pack{repeat each Element}>, shape $each Element, uuid "F8DD56FA-FE61-11EE-851C-ACDE48001122" // user: %49
  %49 = tuple_pack_element_addr %47 of %7 : $*(repeat each Element) as $*@pack_element("F8DD56FA-FE61-11EE-851C-ACDE48001122") each Element // user: %50
  destroy_addr %49 : $*@pack_element("F8DD56FA-FE61-11EE-851C-ACDE48001122") each Element // id: %50
  br bb7(%46 : $Builtin.Word)                     // id: %51

bb9:                                              // Preds: bb7
  dealloc_stack %7 : $*(repeat each Element)      // id: %52
  br bb11(%39 : $any Error)                       // id: %53

// %54                                            // user: %55
bb10(%54 : @owned $any Error):                    // Preds: bb4
  br bb11(%54 : $any Error)                       // id: %55

// %56                                            // user: %66
bb11(%56 : @owned $any Error):                    // Preds: bb10 bb9
  %57 = load [trivial] %2 : $*Builtin.Int1        // user: %58
  cond_br %57, bb12, bb13                         // id: %58

bb12:                                             // Preds: bb11
  %59 = struct_element_addr %3 : $*S<repeat each Element>, #S.elements // user: %60
  %60 = tuple_element_addr %59 : $*(repeat each Element), 0 // user: %61
  destroy_addr %60 : $*repeat each Element        // id: %61
  br bb14                                         // id: %62

bb13:                                             // Preds: bb11
  br bb14                                         // id: %63

bb14:                                             // Preds: bb13 bb12
  dealloc_stack %3 : $*S<repeat each Element>     // id: %64
  dealloc_stack %2 : $*Builtin.Int1               // id: %65
  throw %56 : $any Error                          // id: %66
} // end sil function '$s4test1SVACyxxQp_QPGyKcfC'

Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Stack dump:
0.	Program arguments: bin/swift-frontend -debug-diagnostic-names -diagnostic-style=llvm -emit-sil /Users/mac/Desktop/test.swift
1.	Swift version 6.0-dev (LLVM beb75c68bf9e0fb, Swift eb40cc56777bae4)
2.	Compiling with effective version 5.10
3.	While verifying SIL function "@$s4test1SVACyxxQp_QPGyKcfC".
 for 'init()' (at /Users/mac/Desktop/test.swift:241:3)
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0  swift-frontend           0x000000010faeb5a8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 40
1  swift-frontend           0x000000010fae99f5 llvm::sys::RunSignalHandlers() + 85
2  swift-frontend           0x000000010faebbfe SignalHandler(int) + 270
3  libsystem_platform.dylib 0x00007ff8058ea37d _sigtramp + 29
4  swift-frontend           0x0000000107160725 void std::__1::__libcpp_operator_delete[abi:v160006]<void*>(void*) + 21
5  libsystem_c.dylib        0x00007ff8057dba4d abort + 126
6  swift-frontend           0x0000000109633e37 (anonymous namespace)::SILVerifier::_require(bool, llvm::Twine const&, std::__1::function<void ()> const&) + 919
7  swift-frontend           0x000000010966a566 (anonymous namespace)::SILVerifier::checkTupleElementAddrInst(swift::TupleElementAddrInst*) + 358
8  swift-frontend           0x000000010964636e (anonymous namespace)::SILVerifierBase<(anonymous namespace)::SILVerifier>::visitTupleElementAddrInst(swift::TupleElementAddrInst*) + 46
9  swift-frontend           0x000000010963f715 swift::SILInstructionVisitor<(anonymous namespace)::SILVerifier, void>::visit(swift::SILInstruction*) + 2757
10 swift-frontend           0x000000010963e607 swift::SILVisitorBase<(anonymous namespace)::SILVerifier, void>::visitSILBasicBlock(swift::SILBasicBlock*) + 135
11 swift-frontend           0x000000010963e061 (anonymous namespace)::SILVerifier::visitSILBasicBlock(swift::SILBasicBlock*) + 33
12 swift-frontend           0x0000000109638733 (anonymous namespace)::SILVerifier::visitSILBasicBlocks(swift::SILFunction*) + 211
13 swift-frontend           0x00000001096362a1 (anonymous namespace)::SILVerifier::visitSILFunction(swift::SILFunction*) + 2561
14 swift-frontend           0x000000010962e3f8 (anonymous namespace)::SILVerifier::verify(bool) + 136
15 swift-frontend           0x000000010962e285 swift::SILFunction::verify(swift::CalleeCache*, bool, bool, bool) const + 181
16 swift-frontend           0x00000001096324e2 swift::SILModule::verify(swift::CalleeCache*, bool, bool) const + 450
17 swift-frontend           0x00000001096322ea swift::SILModule::verify(bool, bool) const + 122
18 swift-frontend           0x0000000107740e21 swift::CompilerInstance::performSILProcessing(swift::SILModule*) + 161
19 swift-frontend           0x00000001072a6a78 performCompileStepsPostSILGen(swift::CompilerInstance&, std::__1::unique_ptr<swift::SILModule, std::__1::default_delete<swift::SILModule>>, llvm::PointerUnion<swift::ModuleDecl*, swift::SourceFile*>, swift::PrimarySpecificPaths const&, int&, swift::FrontendObserver*) + 840
20 swift-frontend           0x00000001072a605e swift::performCompileStepsPostSema(swift::CompilerInstance&, int&, swift::FrontendObserver*) + 382
21 swift-frontend           0x00000001072d77c3 performAction(swift::CompilerInstance&, int&, swift::FrontendObserver*)::$_29::operator()(swift::CompilerInstance&) const + 147
22 swift-frontend           0x00000001072d771d bool llvm::function_ref<bool (swift::CompilerInstance&)>::callback_fn<performAction(swift::CompilerInstance&, int&, swift::FrontendObserver*)::$_29>(long, swift::CompilerInstance&) + 29
23 swift-frontend           0x00000001072d6ae1 llvm::function_ref<bool (swift::CompilerInstance&)>::operator()(swift::CompilerInstance&) const + 33
24 swift-frontend           0x00000001072d5a78 withSemanticAnalysis(swift::CompilerInstance&, swift::FrontendObserver*, llvm::function_ref<bool (swift::CompilerInstance&)>, bool) + 392
25 swift-frontend           0x00000001072cdf95 performAction(swift::CompilerInstance&, int&, swift::FrontendObserver*) + 1349
26 swift-frontend           0x00000001072a94a6 performCompile(swift::CompilerInstance&, int&, swift::FrontendObserver*) + 262
27 swift-frontend           0x00000001072a7e8a swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 2794
28 swift-frontend           0x000000010715622a run_driver(llvm::StringRef, llvm::ArrayRef<char const*>, llvm::ArrayRef<char const*>) + 2410
29 swift-frontend           0x0000000107154e67 swift::mainEntry(int, char const**) + 1543
30 swift-frontend           0x0000000107154392 main + 34
31 dyld                     0x00007ff8055343a6 start + 1942
Abort trap: 6

@AnthonyLatsis AnthonyLatsis added compiler The Swift compiler in itself SILGen Area → compiler: The SIL generation stage verifier generics Feature: generic declarations and types error handling expressions Feature: expressions properties Feature: properties variadic generics Feature → generics: Variadic generics assertion failure Bug → crash: An assertion failure pack expansions Feature → expressions: Pack expansion expressions swift 6.0 and removed triage needed This issue needs more specific labels labels Apr 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
assertion failure Bug → crash: An assertion failure 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 error handling expressions Feature: expressions generics Feature: generic declarations and types pack expansions Feature → expressions: Pack expansion expressions properties Feature: properties SILGen Area → compiler: The SIL generation stage swift 6.0 variadic generics Feature → generics: Variadic generics verifier
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@AnthonyLatsis @martialln