fix: correct order of basic block successors

CQCL · Jan 18, 2024 · 2d8ad06 · 2d8ad06
1 parent e0761ff
commit 2d8ad06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/guppylang/cfg/builder.py b/guppylang/cfg/builder.py
@@ -459,8 +459,8 @@ def generic_visit(self, node: ast.expr, bb: BB, true_bb: BB, false_bb: BB) -> No
         # the result as a branch predicate
         pred, bb = ExprBuilder.build(node, self.cfg, bb)
         bb.branch_pred = pred
-        self.cfg.link(bb, true_bb)
         self.cfg.link(bb, false_bb)
+        self.cfg.link(bb, true_bb)
 
 
 def is_functional_annotation(stmt: ast.stmt) -> bool: