On 11/08/2020 15:57, Uecker, Martin wrote:

>> My proposed syntax for never returning invocable pointers would be:
>>
>> _Noreturn_t (*addr)(args...)
>>
>> ... where the builtin _Noreturn_t type means that this function will
>> never, ever, return. _Generic etc can select on that, obviously.
>
> This is the correct approach. I am not sure about the naming
> of the return type, but this is essentially the bottom type
> we are missing (void is more like the unit type).

Just in case it isn't obvious to some, I was mapping the _Noreturn C11
keyword into a type _Noreturn_t. I meant to say that in my reply, sorry
I forgot.

Niall