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,2ac407a2a34565a9
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.135.231 with SMTP id pv7mr3669490pbb.8.1330558231066;
        Wed, 29 Feb 2012 15:30:31 -0800 (PST)
Path: 
 h9ni24603pbe.0!nntp.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Array Help?
Date: Wed, 29 Feb 2012 23:30:29 +0000
Organization: A noiseless patient Spider
Message-ID: <m2mx81i5ey.fsf@pushface.org>
References: 
 <10615783-d4a9-4cbd-8971-53ba1100d6a0@b18g2000vbz.googlegroups.com>
	<b6889af2-ec5a-45cf-aa61-eb17384989de@c21g2000yqi.googlegroups.com>
	<wcck435wrj2.fsf@shell01.TheWorld.com>
	<17412419.40.1330534213855.JavaMail.geo-discussion-forums@vbva11>
	<wcclinl7b1x.fsf@shell01.TheWorld.com> <m2r4xdiczb.fsf@pushface.org>
	<wccy5rlffdi.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="12140"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19/g0GcuBHFNeb2zuxwj1LJ2W4wCKzJSiY="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:Niqq2Gndb+ljHDkVmJ+DtQGjNC4=
	sha1:FbsaghuPtbDwusa+NB/GZzx4Ts0=
Content-Type: text/plain; charset=us-ascii
Date: 2012-02-29T23:30:29+00:00
List-Id: <comp.lang.ada>

Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> Simon Wright <simon@pushface.org> writes:
>
>> I know that GNAT is a work-in-progress, but it doesn't raise C_E with
>> GNAT GPL 2011.
>
> Did you turn on assertions?  They're off by default in GNAT.  You need
> to use a switch or a pragma.
>
> It works with the latest GNAT Pro.  But this shows I was wrong when I
> said it raises Constraint_Error.  I momentarily forgot that it raises
> Assert_Failure.  Some folks think it should raise Constraint_Error,
> and Ada 2012 isn't quite finished, so...

With -gnata, GNAT GPL 2011 behaves as you say. So does FSF GCC 4.7 (as
at r183368).