avoid possible overflow

lambdaclass · Oct 17, 2024 · ad9f29e · ad9f29e
1 parent 482438b
commit ad9f29e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/runtime/src/lib.rs b/runtime/src/lib.rs
@@ -248,7 +248,7 @@ pub unsafe extern "C" fn cairo_native__dict_get(
 #[no_mangle]
 pub unsafe extern "C" fn cairo_native__dict_gas_refund(ptr: *const FeltDict) -> u64 {
     let dict = &*ptr;
-    (dict.count - dict.inner.len() as u64) * *DICT_GAS_REFUND_PER_ACCESS
+    (dict.count.saturating_sub(dict.inner.len() as u64)) * *DICT_GAS_REFUND_PER_ACCESS
 }
 
 /// Compute `ec_point_from_x_nz(x)` and store it.