Re: compiler settings in AdaGIDE

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

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

>> Well, not really.  If you don't say -gnato, then GNAT is implicitly
>> assuming "pragma Suppress(Overflow_Check);".
>
> Objection. Ada compiler should not assume anything not explicitly
> specified.

I agree 100%.  Overflow checks should be on by default,
and you should have to do something explicit to turn them off.

But we were talking about standard conformance, which is not
quite the same as what compilers "should" do.

>... Example: what about assuming
>
>    raise Program_Error;
>
> at each even source line?

Well, so long as there's an option to turn that malfeature off,
it's standard conforming.  But it's not a good idea, and the users
of that compiler (if there are any) will complain loudly. ;-)

- Bob

P.S. I work for AdaCore, so I should note that my opinion
that overflow checks should be turned on by default is
my own personal opinion.  AdaCore disagrees.  The reason
is that they are fairly expensive.