Skip to content

NCG: Fix a bug in jump shortcutting.

Andreas Klebinger requested to merge wip/andreask/shortcut_bug into master 
NCG: Fix a bug in jump shortcutting.

When checking if a jump has more than one destination account for the
possibility of some jumps not being representable by a BlockId.

We do so by having isJumpishInstr return a `Maybe BlockId` where Nothing
represents non-BlockId jump destinations.

Fixes #24507 (closed)

Merge request reports