On 7/16/2017 6:03 AM, Timon Gehr wrote:
pragma(noreturn) is indeed the simpler solution, as it does not interact with
anything else.
Pragmas are not supposed to change the semantics of the code, they are intended
as directions to the compiler, such as:
* optimization suggestions
* embedding instructions into the object file
* sending messages to the user while compiling
* instructing the compiler on special name mangling
etc. A pragma(noreturn) influences semantics, and so is inappropriate. That's
what attributes and types are for.