Auto merge of #133328 - nnethercote:simplify-SwitchInt-handling, r=tmiasko

Simplify `SwitchInt` handling

Dataflow handling of `SwitchInt` is currently complicated. This PR simplifies it.

r? `@cjgillot`
This commit is contained in:
bors 2024-12-18 22:57:23 +00:00
commit c6e1649b42

Diff content is not available