1 parent d286515 commit 0d3d40bCopy full SHA for 0d3d40b
2 files changed
chb/app/CHVersion.py
@@ -1,3 +1,3 @@
1
-chbversion: str = "0.3.0-20260729"
+chbversion: str = "0.3.0-20260802"
2
3
-minimum_required_chb_version = "0.6.0_20260728"
+minimum_required_chb_version = "0.6.0_20260802"
chb/arm/opcodes/ARMBitwiseAnd.py
@@ -294,11 +294,6 @@ def ast_prov_wide_and(
294
bytestring=bytestring,
295
annotations=annotations)
296
297
- rdefs = xdata.reachingdefs
298
-
299
- astree.add_expr_reachingdefs(ll_rhs1, [rdefs[0]])
300
- astree.add_expr_reachingdefs(ll_rhs2, [rdefs[1]])
301
302
# high-level assignment
303
304
xd = ARMBitwiseAndXData(xdata)
0 commit comments