VEXIRSBConverter: Fix fp_ret_reg_offset comparison. (#254)

angr · Oct 30, 2024 · e050a09 · e050a09
1 parent 8eba37b
commit e050a09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ailment/converter_vex.py b/ailment/converter_vex.py
@@ -767,7 +767,7 @@ def convert(irsb, manager):  # pylint:disable=arguments-differ
                 vex_stmt_idx=DEFAULT_STATEMENT,
             )
             fp_ret_reg_offset = manager.arch.fp_ret_offset
-            if fp_ret_reg_offset is not None and fp_ret_reg_offset != ret_expr:
+            if fp_ret_reg_offset is not None and fp_ret_reg_offset != ret_reg_offset:
                 fp_ret_expr = Register(
                     manager.next_atom(),
                     None,