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

[Chris Lattner]

On Jun 14, 2011, at 10:27 AM, Duncan Sands wrote:

> Hi Chris, I've CC'd Eric Botcazou in the hope that he will clear up just what
> the Ada front-end needs from the rest of the compiler as far as asynchronous
> exceptions are concerned.
> 
>>> 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.

-Chris