On 05/14/12 23:59, Timon Gehr wrote: > On 05/13/2012 06:13 PM, Alex Rønne Petersen wrote: >> Hi, >> >> If memory serves me right, there were some proposals in the past to add >> a @noreturn attribute to the language. Where did this go? >> >> In writing unwinding mechanisms for my VM, I find myself actually >> needing some sort of @noreturn function attribute that would tell the >> compiler that the function does not return, rather than having to insert >> an assert(false); statement. >> > > What about making the compiler detect this pattern instead of adding an > attribute? I think it expresses exactly what you want to express, and it does > not require additional syntax. > > void foo()out{ assert(false); }body{ ... }
extern @noreturn void foo(); artur