Merge pull request #113 from ethereum-optimism/feature/mininny/audit-27

Fix != 0 check in rvsol
ethereum-optimism · Jan 9, 2025 · bf4e465 · bf4e465
2 parents 8f7e065 + e5a5842
commit bf4e465
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rvsol/src/RISCV.sol b/rvsol/src/RISCV.sol
@@ -890,7 +890,7 @@ contract RISCV is IBigStepper {
 
                     let errCode := 0
                     // ensure MAP_ANONYMOUS is set and fd == -1
-                    switch or(iszero(and(flags, 0x20)), not(eq(fd, u64Mask())))
+                    switch or(iszero(and(flags, 0x20)), iszero(eq(fd, u64Mask())))
                     case 1 {
                         addr := u64Mask()
                         errCode := toU64(0x4d)