rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use checked_add to prevent silent overflow

Browse Source
This commit is contained in:
Skgland
2026-03-27 22:00:54 +01:00
parent 5fc21241d6
commit 3c9c7ade8d
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/machine/machine_state.rs
View File

@@ -548,7 +548,8 @@ impl MachineState {
return true; return true;
} }
self.cwil.global_count += 1; // use strict_add once msrv is >= 1.91.0
self.cwil.global_count = self.cwil.global_count.checked_add(1).unwrap();
if let Some(&(ref limit, block)) = self.cwil.limits.last() { if let Some(&(ref limit, block)) = self.cwil.limits.last() {
if self.cwil.local_count == *limit { if self.cwil.local_count == *limit {
@@ -1127,7 +1128,8 @@ impl CWIL {
} }
pub(crate) fn add_limit(&mut self, mut limit: u128, block: usize) -> u128 { pub(crate) fn add_limit(&mut self, mut limit: u128, block: usize) -> u128 {
limit += &self.local_count; // use strict_add once msrv is >= 1.91.0
limit = limit.checked_add(self.local_count).unwrap();
match self.limits.last() { match self.limits.last() {
Some((ref inner_limit, _)) if *inner_limit <= limit => {} Some((ref inner_limit, _)) if *inner_limit <= limit => {}