_ptr_add

func _ptr_add(ptr: RawPtr, offset: Int) 'alloc -> RawPtr

Produces a pointer offset bytes from ptr while preserving allocation identity.

The result may be out of bounds; it must not be dereferenced unless the caller has separately proved that the target range lies in the allocation.

View Source
pub func _ptr_add(ptr: RawPtr, offset: Int) 'alloc -> RawPtr {
	#_ir(ptr, offset) { %? = add RawPtr $0 $1 }
}