On 7/8/2017 10:14 AM, Jack Stouffer wrote:
On Saturday, 8 July 2017 at 11:07:32 UTC, bachmeier wrote:Why should this be an attribute rather than a pragma?I agree. There's no reason I can think of as to why the no-return should be part of the ABI.
Separate compilation. I.e. if one changes the implementation of a function such that it now returns, it will break any compiled code that relied on it being noreturn.
This is why, for example, nothrow is part of the signature.