fix: address and size alignment check

cartesi · Mar 12, 2024 · 8b879e1 · 8b879e1
1 parent 897a0bc
commit 8b879e1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ready_src/Memory.sol b/ready_src/Memory.sol
@@ -80,7 +80,7 @@ library Memory {
         // assert position and size are aligned
         // position has to be a multiple of size
         // equivalent to: size = 2^a, position = 2^b, position = size * 2^c, where c >= 0
-        assert(((s - 1) & position) == 0);
+        assert(((s - 1) & addr) == 0);
         uint64 stride = position / s;
         return Stride.wrap(stride);
     }

diff --git a/src/Memory.sol b/src/Memory.sol
@@ -80,7 +80,7 @@ library Memory {
         // assert position and size are aligned
         // position has to be a multiple of size
         // equivalent to: size = 2^a, position = 2^b, position = size * 2^c, where c >= 0
-        assert(((s - 1) & position) == 0);
+        assert(((s - 1) & addr) == 0);
         uint64 stride = position / s;
         return Stride.wrap(stride);
     }