Re: integers of 1, 2, 4 bytes

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

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.