Make use of GCC's attribute __alloc_size__.