Re: Bounds of Slice's return value

[Matthew Woodcraft <mattheww@chiark.greenend.org.uk>]

Jeffrey Carter <jrcarter@acm.org> writes:

> Matthew Woodcraft wrote:
> > 
> > Ada.Strings.Unbounded.Slice returns a Standard.String.
> > 
> > Am I guaranteed anything about the bounds of this string?
> 
> As you noticed, the ARM is silent about this. The ARG is working towards
> (if they haven't already completed) an AI stating that the bounds should
> be the same as the indices passed to Slice, to correspond with the
> bounds of a slice of a String.

Thanks. I'm glad they're nailing it down; it seems to be a needless
source of hard-to-spot errors, otherwise.


> GNAT noticeably does not do this in the most recent public version
> (3.13p), though I believe this has been changed in more recent (as yet
> non-public) versions.

Indeed, I came across this because one of my unit tests failed when I
tried compiling with cvs gcc.

-M-