Skip to content

Fix PrunedLiveness.empty() to consider the users. #64051

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.

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

Closed
wants to merge 2 commits into from

Conversation

atrick
Copy link
Contributor

@atrick atrick commented Mar 3, 2023

I hit the issue with PrunedLiveness.empty() several months ago during development on a branch, but never had a test case. The comment explains why this is the obviously correct implementation though, so better to just fix it.

@atrick atrick force-pushed the fix-liveness-empty branch from ae59e6b to 2c12060 Compare March 3, 2023 06:18
@atrick
Copy link
Contributor Author

atrick commented Mar 3, 2023

@swift-ci test

@atrick atrick marked this pull request as draft March 3, 2023 17:17
@atrick
Copy link
Contributor Author

atrick commented Mar 24, 2023

Fixed in another PR

@atrick atrick closed this Mar 24, 2023
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