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.