[LLVMdev] Is LLVM expressive enough to represent asynchronous exceptions?

[Duncan Sands]

Hi Chris,

>>>> gcc Ada turns signals into exceptions.  As far as I know it does this
>>>> completely asynchronously, and the fact that LLVM doesn't support this
>>>> is rather bad as far as Ada is concerned.  That said, the Ada front-end
>>>
>>> You're saying that it turns asynch signals like SIGHUP (which can occur on any machine instruction) into signals?
>>
>> AFAIK, on posix systems only SIGFPE, SIGILL, SIGSEGV and SIGBUS are turned into
>> exceptions.  For other signals, if there is no signal handler then the program
>> is terminated;
>
> Ok, that makes sense.  These are all synchronous signals, not asynch ones.

yes.  Of course you can also send these signals asynchronously, but that's not
why the Ada front-end is interested in them.

Ciao, Duncan.