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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,4215feeab2a8154a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!v20g2000yqm.googlegroups.com!not-for-mail
From: Gautier write-only <gautier_niouzes@hotmail.com>
Newsgroups: comp.lang.ada
Subject: Re: C++0x and Threads - a poor relation to Ada's tasking model?
Date: Fri, 14 Aug 2009 06:10:28 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <ebcf2b4b-f7e3-4c7b-a4d9-074540bf5dd0@v20g2000yqm.googlegroups.com>
References: <7q2385104kihs87d79p8kfphuoki6r01vq@4ax.com>
 <7961a91c-a5af-40e2-bbc0-6bf69a98176d@z31g2000yqd.googlegroups.com>
	<gnc585975lmscgmvat9avedckgs3du6pin@4ax.com>
 <362f621e-a01c-4772-ba02-4e18e9962188@j19g2000vbp.googlegroups.com>
	<b6t5855cc2epg9h3s1qb9ulm96bp3pfphk@4ax.com>
 <128d63da-361f-4e33-be5e-e06bdc71e39f@r34g2000vba.googlegroups.com>
	<wcc8whovk76.fsf@shell01.TheWorld.com>
 <6d23274b-d649-4a83-a6f1-6d1e9c4c3998@d34g2000vbm.googlegroups.com>
NNTP-Posting-Host: 83.79.97.76
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1250255428 6329 127.0.0.1 (14 Aug 2009 13:10:28
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 14 Aug 2009 13:10:28 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: v20g2000yqm.googlegroups.com; posting-host=83.79.97.76;
	posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
User-Agent: G2/1.0
X-HTTP-UserAgent: Opera/9.64 (X11; Linux i686; U;
 fr) Presto/2.1.1,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:7777
Date: 2009-08-14T06:10:28-07:00
List-Id: <comp.lang.ada>

On 12 ao=FBt, 23:15, REH <spamj...@stny.rr.com> wrote:

> Similarly with range-checking. If I index an array in Ada, it may or
> may not range check the index (a smart compiler can remove the check
> if it can prove it cannot be out-of-range).

You can also make the compiler remove range checks: pragma Suppress,
or the corresponding compiler option. That way it is trivial to switch
between full checks and no checks (range checks or others, BTW).
_________________________________________________________
Gautier's Ada programming -- http://sf.net/users/gdemont/
NB: For a direct answer, e-mail address on the Web site!