@noreturn?

[Alex Rønne Petersen]

On 14-05-2012 14:13, Alex Rønne Petersen wrote:
> On 14-05-2012 13:53, bearophile wrote:
>> Alex Rønne Petersen:
>>
>>> 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,
>>
>> Maybe Walter will listen you more if you show an example of where/why
>> you would use @noreturn.
>>
>> Bye,
>> bearophile
>
> As a very simple example, consider an intrinsic in a virtual machine:
>
> extern (C) int do_some_work(VMContext ctx, int value)
> {
> if (value != 42)
> ctx.engine.raiseException("Bad value!");
> /* no can do; assert(false) needed here */
>
> return value;
> }
>
> Note that raiseException() unwinds the native stack. It is @noreturn.
>

Even more trivial examples... longjmp and abort. ;)

-- 
- Alex