Make use of GCC's attribute __alloc_size__.
[pspp] / top /
drwxr-xr-x   ..
-rw-r--r-- 4813 GNUmakefile
-rw-r--r-- 45393 maint.mk