Re: ada compiler?

[Adam Beneschan <adam@irvine.com>]

On Nov 12, 7:16 pm, "John W. Kennedy" <jwke...@attglobal.net> wrote:
> Adam Beneschan wrote:
> > I've noticed that in the argument that has ensued from this post (yes
> > it works fine, no it doesn't, it's real Ada, it isn't, it's high-
> > integrity or low-integrity mode blah blah blah), nobody has mentioned
> > what platform they're running on.
>
> T'Machine_overflows

I don't know what your point is.  First of all, we're talking about
integer overflow, and T'Machine_Overflows isn't defined for integers.
It's defined for floating-point and fixed-point types only.  (Check
the manual.)  Second, the issue is that some people are saying that
the integer-overflow check works for them, using GNAT, even when they
don't use -gnato, and my point was that it's reasonable to suppose
that this might be true for some platforms and not others; the
question wasn't about how to write a program that switches logic
depending on whether integer overflow is detected without programming
overhead or not, or anything of that nature.

                           -- Adam