Optimisation possibilities: current, future and enhancements

[Andrea Fontana via Digitalmars-d]

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.