Skip to content

Conversation

@atrick
Copy link
Contributor

@atrick atrick commented Jul 29, 2025

This assertion was triggering when deleting scope-ending operations whose
operand had been replaced with an undef:

end_borrow undef

Related to rdar://156431548

This was triggered during simplify-cfg by after adding blocks to the worklist,
then later cleaning up dead instructions in the worklist blocks. I'm unable to
create a test case based on simplify-cfg because the assertion is completely
unrelated to the optimization that adds blocks to the worklist.

atrick added 2 commits July 29, 2025 00:10
This assertion was triggering when deleting scope-ending operations whose
operand had been replaced with an undef:

   end_borrow undef

Related to rdar://156431548

This was triggered during simplify-cfg by after adding blocks to the worklist,
then later cleaning up dead instructions in the worklist blocks. I'm unable to
create a test case based on simplify-cfg because the assertion is completely
unrelated to the optimization that adds blocks to the worklist.
@atrick atrick requested a review from eeckstein as a code owner July 29, 2025 07:25
@atrick atrick requested a review from meg-gupta July 29, 2025 07:26
@atrick
Copy link
Contributor Author

atrick commented Jul 29, 2025

@swift-ci test

@atrick
Copy link
Contributor Author

atrick commented Jul 29, 2025

@swift-ci smoke test macOS

@atrick atrick merged commit 0597fd9 into swiftlang:main Jul 29, 2025
4 of 5 checks passed
@atrick atrick deleted the fix-trackifdead branch July 29, 2025 21:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants