From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e0fa6eae2c537e3d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.78.MISMATCH!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT.Regpat problem.
Date: Tue, 22 Mar 2011 20:31:20 +0000
Organization: A noiseless patient Spider
Message-ID: <m2mxkmganb.fsf@pushface.org>
References: <alpine.WNT.2.00.1103221429170.5412@WHIRLWIND>
	<41cae3ac-97b6-4b01-ad73-9ff1ec2fdf86@q12g2000prb.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx02.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="30718"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/cmsH9kTXhG5VcYkqUO5EqyvQqLHQ7PHM="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin)
Cancel-Lock: sha1:42rJaPXrv8ex0G2JZBpNvA9uZI0=
	sha1:i49z1/Rbwa0KPF4LwCZeh2OQVAc=
Xref: g2news2.google.com comp.lang.ada:19357
Date: 2011-03-22T20:31:20+00:00
List-Id: <comp.lang.ada>

Adam Beneschan <adam@irvine.com> writes:

> I'm not sure whether I'm working with the latest version.  However,
> when I took the sources for this package from GNAT 4.5.2 and compiled
> and ran them (with your test) using a different compiler, a slice
> assignment in Emit_Class failed due to out-of-range bounds.  If that
> range check were turned off, I can imagine that the result would be
> havoc.

There's certanly something fishy with 4.5.2; it appears not to notice
when it goes off the end, heaven knows where the extra elements of the
matcher go.

Looking at the GCC SVN log for s-regpat.adb, I see

2010-06-21  Emmanuel Briot  <briot@adacore.com>

	* s-regpat.adb (Link_Tail): Fix error when size of the pattern matcher
	is too small.