On 14-05-2012 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{ ... }
While that might be an easier way to do it, I'm not sure if that would
have unintended side-effects (admittedly, I can't think of any upfront).
--
- Alex
