Skip to content

Comments

modtools: fix database sanity#5692

Merged
widlarizer merged 3 commits intomainfrom
emil/modtools-fix-db-port-deletion
Feb 20, 2026
Merged

modtools: fix database sanity#5692
widlarizer merged 3 commits intomainfrom
emil/modtools-fix-db-port-deletion

Conversation

@widlarizer
Copy link
Collaborator

Fixes #5690. Erasing the sigbit entry entirely if no data about sigbit is required for the check to pass (for the index to track the current design as-is). Using pointer ordering for sigbits in ModIndex is required if swap_names is supposed to be legal while holding a ModIndex, otherwise std::map will fail to find out-of-order entries even though it can iterate over them. Both are covered with unit tests that fail on main

Copy link
Member

@mmicko mmicko left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixes EQY test case that pointed to an issues

@widlarizer widlarizer merged commit 53509a9 into main Feb 20, 2026
32 of 33 checks passed
@widlarizer widlarizer deleted the emil/modtools-fix-db-port-deletion branch February 20, 2026 09: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.

wreduce reduces used, driven top bit

2 participants