Provided by: libowfat-dev_0.30-2ubuntu1_amd64
array_fail - switch array to have failed
#include <array.h> void array_fail(array* x); array x; array_fail(&x);
If x is allocated, array_fail frees the region that x points to, and switches x to have failed. If x is unallocated, array_fail simply switches x to have failed. If x has already failed, array_fail has no effect.
array_allocate(3), array_reset(3) array_fail(3)