mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
5878fee3e2
Checking if a `SwitchInst` has a certain case triggers a linear search. When we have *a lot* of jump targets this is an issue. This commit assumes that when we add a case to a dispatcher, that case is not already there.