VEXIRSBConverter: Fix cond jump in blocks with more than one cond jum…

…ps. (#257)
angr · Nov 9, 2024 · 6173abf · 6173abf
1 parent aaf8c39
commit 6173abf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ailment/converter_vex.py b/ailment/converter_vex.py
@@ -801,9 +801,9 @@ def convert(irsb, manager):  # pylint:disable=arguments-differ
                 )
             )
         elif irsb.jumpkind == "Ijk_Boring":
-            if len(conditional_jumps) == 1:
+            if conditional_jumps:
                 # fill in the false target
-                cond_jump = conditional_jumps[0]
+                cond_jump = conditional_jumps[-1]
                 cond_jump.false_target = VEXExprConverter.convert(irsb.next, manager)
 
             else: