Re: exceptions and C functions (was Re: Ada -> C or C++ translator)

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Wes Groleau <wesgroleau@despammed.com> writes:

> > > Can Ada exceptions cross C functions? E.g. if an Ada subprogram called
> > > a C function, which called an Ada subprogram which raised an exception,
> > > would the exception propagate across the C void?
> > 
> > Yes.
> 
> No.  Unless the compiler vendors had taken steps to ensure
> this would happen.  I think the answer is yes with gcc (cc1/gnat1)

Umm.  The question was about the AverCom (was AverStar, was
Intermetrics) AdaMagic compiler -- the version that translates to C.
I work for this compiler vendor, and I implemented much of the
exception handling facility.  This compiler vendor *has* taken steps to
make sure that exceptions can propagate from Ada to C back to Ada.

So the answer, as I said, is "Yes".  Sheesh.

- Bob