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

Allow merging of indirect callee parameters if they are equal #86

Merged
merged 2 commits into from
Apr 1, 2021

Conversation

errt
Copy link
Collaborator

@errt errt commented Apr 1, 2021

We didn't encounter this previously, but obviously it is possible for the same analysis to produce a call more than once if different receiver types resolve to the same target method. In this case, a merge is required.

@errt errt requested review from TorunR, mreif and roterEmil April 1, 2021 13:37
@errt errt merged commit 93e0485 into develop Apr 1, 2021
@errt errt deleted the fix/merge-indirect-callees branch April 1, 2021 14:51
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