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

Duncan Sands baldrick at free.fr
Wed Jun 15 06:06:11 PDT 2011

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.

More information about the llvm-dev mailing list