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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Community Input for the Maintenance and Revision of the Ada
 Programming Language
Date: Sat, 2 Sep 2017 20:35:11 -0500
Organization: JSA Research & Innovation
Message-ID: <oofm8f$ull$1@franka.jacob-sparre.dk>
References: <oludae$seh$1@franka.jacob-sparre.dk>
 <4dc188de-802b-41ad-9cdd-b8246eb9a1c7@googlegroups.com>
 <47cc6474-8b75-4644-92d0-bd1f694c20e7@googlegroups.com>
 <338b355a-dee4-4c73-b00e-09d9a8430fb1@googlegroups.com>
Injection-Date: Sun, 3 Sep 2017 01:35:12 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="31413"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: news.eternal-september.org comp.lang.ada:47899
Date: 2017-09-02T20:35:11-05:00
List-Id: <comp.lang.ada>


"Johan Söderlind Åström" <johaa1993@gmail.com> wrote in message 
news:338b355a-dee4-4c73-b00e-09d9a8430fb1@googlegroups.com...
>I usually cast a array to array that starts at zero index when implementing 
>algorithms.
OK, but just do that and don't use any overlays...

>type Integer_Array is array (Integer range <>) of Integer;
>
>procedure Algorithm (Item : Integer_Array) is
>  use Ada.Assertions;
>  X : Integer_Array (0 .. Item'Length - 1) with Address => Item'Address;

     subtype Zero_Array is Integer_Array (0 .. Item'Length - 1);
     X : Zero_Array := Zero_Array (Item);
...

                         Randy.