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.

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

Remove spurious code #811

Merged
merged 1 commit into from
Jul 25, 2023
Merged

Remove spurious code #811

merged 1 commit into from
Jul 25, 2023

Conversation

Baltoli
Copy link
Contributor

@Baltoli Baltoli commented Jul 25, 2023

This is part of #730, and is related to the changes made in #769 to support LLVM's new opaque pointers.

The problem fixed by this PR is that in the initial draft of #759, I changed the check in this code block to use the isCollectionSort function. However, this conditional statement is actually universally-dead code that was made incorrectly live by the amended type-check!1 The correct behaviour is just to drop the block entirely.

I have tested these changes against the K integration test suite as well as the backend tests to make sure we aren't relying on this code in some obscure behaviour.

Footnotes

  1. As far as I can tell, this is because the sret handling code misunderstands what the reported return value from the call will be.

@Baltoli Baltoli requested a review from dwightguth July 25, 2023 12:54
@Baltoli Baltoli mentioned this pull request Jul 25, 2023
@dwightguth dwightguth merged commit 9778ec9 into master Jul 25, 2023
6 checks passed
@dwightguth dwightguth deleted the spurious-code branch July 25, 2023 16:49
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