Re: Ada Pointer Problem

["Randy Brukardt" <randy@rrsoftware.com>]

"Jeffrey Carter" <spam@spam.com> wrote in message
news:OUm7d.504$UP1.332@newsread1.news.pas.earthlink.net...
> aschwarz1309@att.net wrote:
>
> > However, if the object is declared in a scoped environment it would
> > seem that the only way that a pointer error could occur would be with
> > explicit exporting of a value. Wouldn't checking this be a more
> > reasonable approach than rejecting benign instances (for the next
> > iteration of Ada)?
>
> That would require that the compiler perform flow analysis, something
> the ARM is not likely to mandate.

Right. Flow analysis for legality rules isn't a possibility. Among other
things, it would make whether an error occurs undecidable in some cases.

                   Randy.