Skip to content

Fixing array length inference performance issue #309

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
Merged
merged 2 commits into from
Oct 29, 2020
Merged

Fixing array length inference performance issue #309

merged 2 commits into from
Oct 29, 2020

Conversation

Machiry
Copy link
Collaborator

@Machiry Machiry commented Oct 29, 2020

Fixing performance issue with array bounds inference:

  • Avoid adding duplicate edges.
  • Do not create multiple keys for constants.

@Machiry Machiry self-assigned this Oct 29, 2020
@Machiry Machiry merged commit f86da78 into master Oct 29, 2020
@Machiry Machiry mentioned this pull request Oct 29, 2020
Merged
@Machiry Machiry deleted the arrbndsdebug branch January 22, 2022 15:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Machiry Machiry

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Machiry