On Fri, 2015-09-11 at 16:07 +0200, Michael Matz wrote:
> Hi,
>
> On Thu, 10 Sep 2015, David Malcolm wrote:
>
> > +/* A range of source locations.
> > +
> > + Ranges are half-open:
> > + m_start is the first location within the range, whereas
> > + m_finish is the first location *after* the range.
>
> I think you eventually decided that they are closed, not half-open, at
> least this:
Oops. Good catch; thanks. Yes: in an early version of this work they
were half-open, but I found having both endpoints be within the range to
be much more convenient.
> > + static source_range from_location (source_location loc)
> > + {
> > + source_range result;
> > + result.m_start = loc;
> > + result.m_finish = loc;
>
> and this:
>
> > +/* Ranges are closed
> > + m_start is the first location within the range, and
> > + m_finish is the last location within the range. */
>
> suggest so :)
