Skip to content
Snippets Groups Projects
Commit 5bd8ed53 authored by Andreas Klebinger's avatar Andreas Klebinger Committed by Marge Bot
Browse files

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
parent 8f7cfc7e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 105 additions and 24 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment