Fix != 0 check in rvsol

ethereum-optimism · Jan 6, 2025 · ed1a0ce · ed1a0ce
1 parent 8ff9318
commit ed1a0ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rvsol/src/RISCV.sol b/rvsol/src/RISCV.sol
@@ -888,7 +888,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)), eq(eq(fd, u64Mask()), 0))
                     case 1 {
                         addr := u64Mask()
                         errCode := toU64(0x4d)