Function deviceFreeAndSetNil

query/device_allocator.go:126–131

deviceFreeAndSetNil frees the specified device pointer if it's not null and set the pointer it holds to null.

(dp *devicePointer)

// deviceFreeAndSetNil frees the specified device pointer if it's not null and set the pointer it holds to null.
func deviceFreeAndSetNil(dp *devicePointer) {
	if dp != nil && !dp.isNull() && dp.allocated {
		getDeviceAllocator().deviceFree(*dp)
		*dp = nullDevicePointer
	}
}

func reportAllocatedMemory(deviceCount int, da deviceAllocator) {
	// getAllocatedMemory may panic, therefore we should recover here