mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add calloc

Browse Source
This commit is contained in:
Tim Diekmann 2019-04-07 20:52:12 +02:00 committed by GitHub
parent 5c5cc2ad3f
commit 6e4264bf27
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/fn_call.rs
View File

@ -93,6 +93,28 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a + 'mir>: crate::MiriEvalContextExt<'
this.write_scalar(Scalar::Ptr(ptr.with_default_tag()), dest)?;
}
}
"calloc" => {
let items = this.read_scalar(args[0])?.to_usize(this)?;
let count = this.read_scalar(args[1])?.to_usize(this)?;
let size = if let Some(size) = items.checked_add(count) {
size
} else {
return err!(MachineError(format!(
"calloc: overflow of items * size: {} * {}",
items, size,
)));
};
if size == 0 {
this.write_null(dest)?;
} else {
let align = this.tcx.data_layout.pointer_align.abi;
let ptr = this.memory_mut().allocate(Size::from_bytes(size), align, MiriMemoryKind::C.into());
this.memory_mut()
.get_mut(ptr.alloc_id)?
.write_repeat(tcx, ptr, 0, Size::from_bytes(size))?;
this.write_scalar(Scalar::Ptr(ptr.with_default_tag()), dest)?;
}
}
"posix_memalign" => {
let ret = this.deref_operand(args[0])?;
let align = this.read_scalar(args[1])?.to_usize(this)?;