[SR-13941] SIL verification failure due to type mismatch #56338
Comments
|
@swift-ci create |
|
For this SIL verification failure, we can work around it by using |
|
You don't need the import foundation. Here's a simpler reproducer (no change to tmp.h): public func foo() {
_ = getMyConsumingFn()
} The type of the branch argument: The type of the block argument: SILGen generates a switch for the Optional function type. It uses the @owned function type for the .some branch and the @unowned function type for the .none branch. The SILVerifier is not happy about merging different function types. I'm not sure why SILGen is getting the function type wrong in the .none case. sil [ossa] @$s3tmp3fooyyF : $@convention(thin) () -> () {
bb0:
// function_ref getMyConsumingFn
%0 = function_ref @getMyConsumingFn : $@convention(c) () -> Optional<@convention(c) (@owned Optional<AnyObject>) -> ()> // user: %1
%1 = apply %0() : $@convention(c) () -> Optional<@convention(c) (@owned Optional<AnyObject>) -> ()> // user: %2
switch_enum %1 : $Optional<@convention(c) (@owned Optional<AnyObject>) -> ()>, case #Optional.some!enumelt: bb1, case #Optional.none!enumelt: bb2 // id: %2
// %3 // user: %4
bb1(%3 : $@convention(c) (@owned Optional<AnyObject>) -> ()): // Preds: bb0
%4 = enum $Optional<@convention(c) (@owned Optional<AnyObject>) -> ()>, #Optional.some!enumelt, %3 : $@convention(c) (@owned Optional<AnyObject>) -> () // user: %5
br bb3(%4 : $Optional<@convention(c) (@owned Optional<AnyObject>) -> ()>) // id: %5
bb2: // Preds: bb0
%6 = enum $Optional<@convention(c) (Optional<AnyObject>) -> ()>, #Optional.none!enumelt // user: %7
br bb3(%6 : $Optional<@convention(c) (Optional<AnyObject>) -> ()>) // id: %7
bb3(%8 : $Optional<@convention(c) (Optional<AnyObject>) -> ()>): // Preds: bb2 bb1
%9 = tuple () // user: %10
return %9 : $() // id: %10
} // end sil function '$s3tmp3fooyyF' |
|
I'm not sure if my changes with Clang function types in #34914 should fix this, I'll try to test it out. |
Additional Detail from JIRA
md5: ee693d71877c859db8a8d1e836645381
relates to:
Issue Description:
Configuration: main @ af8cf15 (release assert)
Crash message:
Reduced test case (compile with
xcrun /path/to/swiftc tmp.swift -import-objc-header tmp.h -emit-sil -o /dev/null)The text was updated successfully, but these errors were encountered: