Developers

Window: Annotation Report, User Memory Deallocator Use Row

This row shows a source location where memory is being freed using a non-standard or user-defined memory deallocation. The Correctness tool uses this as a hint about the lifetime of memory accesses, so memory that is freed and then allocated again will not cause conflicts to be reported if the non-standard or user-defined memory free occurs with the span of this annotation's execution.

Window: Annotation Report, User Memory Allocator Use Row

This row shows a source location where memory is being allocated using a non-standard or user-defined memory deallocation. The Correctness tool uses this as a hint about the lifetime of memory accesses, so memory that is allocated will not cause conflicts to be reported if the non-standard or user-defined memory allocation occurs with the span this annotation's execution.

Subscribe to Developers