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

fix another integer overflow

Browse Source
This commit is contained in:
Skgland
2025-12-08 19:59:43 +01:00
committed by Bennet Bleßmann
parent 580572aec6
commit 616f071cd9
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/heap.rs
View File

@@ -1148,7 +1148,9 @@ pub fn sized_iter_to_heap_list<SrcT: Into<HeapCellValue>>(
) -> Result<HeapCellValue, AllocError> { ) -> Result<HeapCellValue, AllocError> {
if size > 0 { if size > 0 {
let h = heap.cell_len(); let h = heap.cell_len();
let mut writer = heap.reserve(1 + 2 * size)?; // not using checked_add for 1 + as the result of multiplying by 2 will be even and the largest representable usize is odd,
// so the addition cannot overflow
let mut writer = heap.reserve(1 + size.checked_mul(2).ok_or(AllocError)?)?;
writer.write_with(|section| { writer.write_with(|section| {
for (idx, value) in values.enumerate() { for (idx, value) in values.enumerate() {