129     AllocationHeader *header = nullptr;  in delete_ptr_()  local
131     PetscCall(extract_header_(ptr, &header, false));  in delete_ptr_()
133     PetscCall(PetscUnpoisonMemoryRegion(header, sizeof(*header)));  in delete_ptr_()
134     PetscCall(PetscUnpoisonMemoryRegion(header, total_size_(header->size, header->align)));  in delete_ptr_()
135     PetscCallCXX(::delete[] reinterpret_cast<unsigned char *>(header));  in delete_ptr_()
247 PetscErrorCode PoolAllocator::extract_header_(void *user_ptr, AllocationHeader **header, bool check…  in extract_header_()  argument
251   PetscAssertPointer(header, 2);  in extract_header_()
275 …*header = reinterpret_cast<AllocationHeader *>(buffer_zone_end - alignment_offset - sizeof(Allocat…  in extract_header_()
394     AllocationHeader *header = nullptr;  in get_attributes()  local
396     PetscCall(extract_header_(const_cast<void *>(ptr), &header, /* check ptr = */ false));  in get_attributes()
397     PetscCall(PetscUnpoisonMemoryRegion(header, sizeof(*header)));  in get_attributes()
398     if (size) *size = header->size;  in get_attributes()
399     if (align) *align = header->align;  in get_attributes()
400     PetscCall(PetscPoisonMemoryRegion(header, sizeof(*header)));  in get_attributes()