On Thursday, 25 August 2016 at 11:16:52 UTC, Cecil Ward wrote:
* Non-return-function marking, first in GCC and then in C itself. (iirc. And in C++?)
Maybe it could be implemented as int blah() out(result) { assert(0); } body { } instead of marking the function itself.