Re: Idea: Array Boundary Checks on Write Access Only

[dennison@telepath.com]

In article <3588D738.4BB32E5A@cl.cam.ac.uk>,
  Markus Kuhn <Markus.Kuhn@cl.cam.ac.uk> wrote:
>
> It would be really neat if Ada compilers would keep track not only of
> the declared range of a subtype, but also of the effectively possible
> range of Integer variables inside a certain program fragment as part
> of the flow analysis.

Quite a few compilers are capable of this kind of optimization. I suspect that
includes Ada compilers.

> It would then also be a nice option if the compiler would be
> able to dump a list of all the checks that it still had to insert
> to give developers a clue of whether they can by intelligently
> placing a manual check at the right place make a large number
> of automatically inserted less efficient checks unnecessary.

That kind of "with help I could optimize better" feedback is still pretty
rare.

-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/   Now offering spam-free web-based newsreading