Skip to content

Commit 75cc4c9

Browse files
committed
BIR: Fix bug with merging deleted iblocks
i seriously need to set something up to not iterate over deleted iblocks, or something. These problems keep popping up.
1 parent 170e651 commit 75cc4c9

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

BIR/graph-modifications.lisp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -435,6 +435,9 @@ If it is possible, return true, otherwise false."
435435
(let* ((successor (first successors))
436436
(predecessors (predecessors successor)))
437437
(and (= (set:size predecessors) 1)
438+
;; if iblock is a zombie, it may have a successor
439+
;; that doesn't have it as a predecessor.
440+
(eq (set:arb predecessors) iblock)
438441
(set:empty-set-p (entrances successor))
439442
(eq (function iblock) (function successor))
440443
(eq (dynamic-environment iblock)

0 commit comments

Comments
 (0)