Skip to content
Snippets Groups Projects
Commit 1d42a4e7 authored by Andreas Klebinger's avatar Andreas Klebinger
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 7da7f8f6
No related branches found
No related tags found
No related merge requests found
Pipeline #91821 passed
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
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