Function haybale::alloc_utils::calloc

source ·
pub fn calloc<B: Backend>(
    state: &mut State<'_, B>,
    a: &Operand,
    b: &Operand
) -> Result<B::BV>
Expand description

Allocate a number of bytes given by a times b, where a and b are Operands. The newly-allocated memory will be initialized to all zeroes.

Returns the address of the newly-allocated memory.