Function haybale::alloc_utils::realloc

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

Reallocate the given addr to be at least the number of bytes given by the Operand.

Returns the address of the allocation, which may or may not be the same address which was passed in.