Re: Bug in Ada (SuSe 10.2) ?

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

billjones6789@yahoo.com writes:

> To bring it back on topic, an unsuspecting Ada programmer will be
> quite surprised to see overflow checks and stack checks not performed
> by default in some cases,...

Probably true.  At the time this decision was made, I argued in favor of
having all checks on by default.  But I understand the
counterargument...

Anyway, changing this default at this point is a bad idea.
It would only create more confusion.

>...and will be equally surprised to see
> accessibility checks not performed by default in some cases.

But where did this idea come from?  All run-time accessibility checks
are enabled by default in every Ada compiler I know of, including GNAT.

Maybe I missed it -- did you or somebody else post an example of a
missing accessibility check?  If so, it must be a compiler bug,
rather than intended default behavior.

>...For
> overflow and stack checks, there is a rather simple solution involving
> specifying default flags in the project file.  But for accessibility
> checks, I do not know of any similar solution.

As far as I know, there's no need to use flags to turn on accessibility
checks -- they're on by default.  You can turn them off with flags
and/or pragmas.

- Bob