At least on the ARM architecture, calling the abort() function results
in a core file with no return PC on the stack. That means you can't
subsequently use gdb to do a backtrace to find out where abort() was
called.

I presume this is due to the "noreturn" function attribute.  I propose
that attribute be removed.  It's saving one word of stack space and
one instruction in a function that's called at most once (and then
only to terminate the program).

In my opinion, exit() should also have the "noreturn" attribute
removed.

In cases like abort() and exit(), the "noreturn" attribute results in
sacrificing significant functionality for a completely valueless
"optimization".

Or does somebody has some profiling results showing that abort()
pushing the return address onto the stack is causing a noticable
performance reduction in their program?  ;)