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

share: fix infinite loop in find_terminal_bits on $mux loop #4895

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

widlarizer
Copy link
Collaborator

Previously, share assumed there is no combinational loop composed of $mux cells when collecting terminal bits. This PR uses the already implemented visited_cells to avoid running forever in the case of a $mux cell loop. Fixes #4260

@widlarizer widlarizer requested a review from povik February 12, 2025 09:19
@widlarizer
Copy link
Collaborator Author

Hmm maybe this should be an assertion failure actually because it's like finding a loop with check -assert

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.

share stuck on a combinational loop
1 participant