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

[SR-2787] SIL verification failed: init_existential_addr payload must be a lowering of the formal concrete type: isLoweringOf(AEI->getLoweredConcreteType(), AEI->getFormalConcreteType()) #45391

Closed
atrick opened this issue Sep 29, 2016 · 1 comment
Closed

[SR-2787] SIL verification failed: init_existential_addr payload must be a lowering of the formal concrete type: isLoweringOf(AEI->getLoweredConcreteType(), AEI->getFormalConcreteType()) #45391

atrick opened this issue Sep 29, 2016 · 1 comment
Assignees
@gottesmm
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

Comments

@atrick
Copy link
Member

atrick commented Sep 29, 2016

Previous ID SR-2787
Radar rdar://28536812
Original Reporter @atrick
Type Bug
Status Closed
Resolution Done

Attachment: Download

Additional Detail from JIRA
Votes 0
Component/s Compiler
Labels Bug, CompilerCrash
Assignee @gottesmm
Priority Medium

md5: a91b5711c42ed4b1e1cd72efd7b5530a

Issue Description:

This shows up on master after applying a stdlibUnitTest patch. I'm testing at this commit:

commit b52f324 (HEAD -> master, public/master, public/HEAD)
Merge: 3f0adbd 6a1d11b
Author: Enrico Granata <egranata@apple.com>
Date: Wed Sep 28 13:35:15 2016

Apply the attached expectEqual.patch to reproduce.
The output is in attached expectEqual.log.

This patch reverts a workaround that I originally hacked up after hitting a type system bug. I'd like to follow up on that bug but I'm hitting this SIL crash instead now... Haven't time to look into it yet.
@atrick
Copy link
Member Author

atrick commented Jul 7, 2017

Fixed by PR: #5249

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
@AnthonyLatsis AnthonyLatsis added the crash Bug: A crash, i.e., an abnormal termination of software label Dec 12, 2022
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gottesmm gottesmm

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
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@atrick @AnthonyLatsis