/* adios calls advertise() with no tail to print fmt, and perhaps what,
* to stderr, and "ends" the program with an error exit status. The
* route to exit is via the done function pointer and may not be
- * straightforward.
- * FIXME: Document if this function can ever return. If not, perhaps an
- * abort(3) at the end of the routine would make that more clear. */
+ * straightforward, e.g. longjmp(3), but it must not return to adios().
+ * If it does then it's a bug and adios() will abort(3) as callers do
+ * not expect execution to continue. */
void
adios (const char *what, const char *fmt, ...)
{
advertise (what, NULL, fmt, ap);
va_end(ap);
done (1);
+ abort();
}