fix fuzzing

gear-tech · Nov 14, 2023 · fca257c · fca257c
1 parent 3931497
commit fca257c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 11 deletions.
diff --git a/core-backend/src/funcs.rs b/core-backend/src/funcs.rs
@@ -691,9 +691,7 @@ where
                 UndefinedTerminationReason::Actor(ActorTerminationReason::Trap(
                     TrapExplanation::Unknown,
                 ))
-            })?;
-
-            Ok(())
+            })
         })
     }
 

diff --git a/pallets/gear/src/benchmarking/syscalls.rs b/pallets/gear/src/benchmarking/syscalls.rs
@@ -279,13 +279,7 @@ where
                     .checked_sub(1)
                     .and_then(|x| start.checked_add(x))
                     .unwrap();
-                instructions.extend([
-                    I32Const(start as i32),
-                    I32Const(end as i32),
-                    Call(1),
-                    I32Const(0),
-                ]);
-                unreachable_condition(&mut instructions, I32Ne); // if free returns 0 then it's error
+                instructions.extend([I32Const(start as i32), I32Const(end as i32), Call(1)]);
             }
         }
 

diff --git a/utils/wasm-instrument/src/syscalls.rs b/utils/wasm-instrument/src/syscalls.rs
@@ -245,7 +245,7 @@ impl SysCallName {
         match self {
             Self::Alloc => SysCallSignature::system([Alloc], [I32]),
             Self::Free => SysCallSignature::system([Free], [I32]),
-            Self::FreeRange => SysCallSignature::system([Free, FreeUpperBound], [I32]),
+            Self::FreeRange => SysCallSignature::system([Free, FreeUpperBound], []),
             Self::Debug => SysCallSignature::gr([
                 Ptr(PtrInfo::new_immutable(PtrType::SizedBufferStart {
                     length_param_idx: 1,
-Original file line number
+Diff line change
@@ Expand Up / @@ -691,9 +691,7 @@ where @@
                     UndefinedTerminationReason::Actor(ActorTerminationReason::Trap(
                         TrapExplanation::Unknown,
                     ))
-                })?;
-                Ok(())
+                })
             })
         }
@@ Expand Down @@