Function ext_php_rs::alloc::efree

pub unsafe fn efree(ptr: *mut u8)

Frees a given memory pointer which was allocated through the PHP memory manager.

Parameters

• ptr - The pointer to the memory to free.

Safety

Caller must guarantee that the given pointer is valid (aligned and non-null) and was originally allocated through the Zend memory manager.

Examples found in repository

src/boxed.rs (line 136)

    fn free(&mut self) {
        unsafe { efree(self as *mut _ as *mut u8) };
    }