Fix SM layouter for some irregular / irreducible CF

spcl · Oct 30, 2024 · f01b8c3 · f01b8c3
1 parent 96b182f
commit f01b8c3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/layouter/state_machine/sm_layouter.ts b/src/layouter/state_machine/sm_layouter.ts
@@ -353,6 +353,9 @@ export class SMLayouter {
             if (n !== node)
                 exitCandidates.add(n);
         }
+        const loopGuardPostdom = this.iPostDoms.get(node)
+        if (loopGuardPostdom && loopGuardPostdom !== node)
+            exitCandidates.add(loopGuardPostdom);
 
         if (exitCandidates.size < 1) {
             throw new Error('No exit candidates found.');