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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.datemas.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 16 Jun 2014 00:39:47 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: integers of 1, 2, 4 bytes
References: <c0654eFaetvU1@mid.individual.net>
 <c0696nFbb6hU1@mid.individual.net> <c06h9rFd1pbU1@mid.individual.net>
In-Reply-To: <c06h9rFd1pbU1@mid.individual.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <539e20b4$0$6616$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 16 Jun 2014 00:39:48 CEST
NNTP-Posting-Host: c998eec3.newsspool4.arcor-online.net
X-Trace: DXC=AU]D_=3QcD1i6K; >iZ]7634IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;
 lY\DnWb[:E2PCY\c7>ejV8TN]iG38:H<3U@l:Emb4KJ4
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 1639
Xref: number.nntp.dca.giganews.com comp.lang.ada:186945
Date: 2014-06-16T00:39:48+02:00
List-Id: <comp.lang.ada>

On 15/06/14 23:25, hreba wrote:

> All I want is:
> 1. Same behaviour of translated program and original
> 2. Avoid unnecessary range checks.
>
> 1. Same behaviour
> 2. Avoid unnecessary range checks.

If absence of range checks is part of 1., then it seems
an idea to expressly state the intent by

- documenting the intent using pragma Suppress (LRM 11.5),

- asking the compiler to suppress range checks when it
   translates a unit.

The 'Size attribute will still be useful for 1., I think.