Fix one case where Const is created without tags. (#176)

angr · Oct 20, 2023 · be8a069 · be8a069
1 parent 1b66ef3
commit be8a069
Showing 1 changed file with 12 additions and 1 deletion.
diff --git a/ailment/converter_vex.py b/ailment/converter_vex.py
@@ -152,7 +152,18 @@ def Unop(expr, manager):
                     shifted = BinaryOp(
                         manager.next_atom(),
                         "Shr",
-                        [inner, Const(manager.next_atom(), None, simop._to_size, 8)],
+                        [
+                            inner,
+                            Const(
+                                manager.next_atom(),
+                                None,
+                                simop._to_size,
+                                8,
+                                ins_addr=manager.ins_addr,
+                                vex_block_addr=manager.block_addr,
+                                vex_stmt_idx=manager.vex_stmt_idx,
+                            ),
+                        ],
                         False,
                         ins_addr=manager.ins_addr,
                         vex_block_addr=manager.block_addr,