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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a1d2fe1ec5136718
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feeder1.cambrium.nl!feed.tweaknews.nl!83.128.0.11.MISMATCH!news-out1.kabelfoon.nl!newsfeed.kabelfoon.nl!xindi.nntp.kabelfoon.nl!news.swapon.de!news.motzarella.org!motzarella.org!not-for-mail
From: =?ISO-8859-1?Q?S=E9bastien_Morand?= <seb.morand@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Generic warning
Date: Tue, 17 Jun 2008 18:33:42 +0000
Organization: A noiseless patient Spider
Message-ID: <g39028$2mk$1@registered.motzarella.org>
References: <g38pkv$vi9$1@registered.motzarella.org>
 <iyg4tdla7x2a.1e9ubbvqz88c0$.dlg@40tude.net>
NNTP-Posting-Host: 196.207.241.154
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: feeder.motzarella.org
 U2FsdGVkX1/4UUP9TKW8a+bIguagvSUdDa57h6a1lLFU2Ml8iKcyQ4/eZv+jw2GqFoDZXjt+2TyILfhLIaU50IovnwHBK20kv5RXjcGRWf2HZirr1jLMh3wZ20rwTKhVSioHRvVwA5UyWhASuZakcw==
X-Complaints-To: Please send complaints to abuse@motzarella.org with full
 headers
NNTP-Posting-Date: Tue, 17 Jun 2008 18:33:45 +0000 (UTC)
X-Auth-Sender: U2FsdGVkX18IMWJI/DuCgSBsJ/4kC6u6QcwLiS65DGsRDsq4wfTh+A==
Cancel-Lock: sha1:/ubMjqAoGzEvqDCfnOH/GflrwpU=
User-Agent: Thunderbird 2.0.0.14 (Windows/20080421)
X-Enigmail-Version: 0.95.6
Xref: g2news1.google.com comp.lang.ada:750
Date: 2008-06-17T18:33:42+00:00
List-Id: <comp.lang.ada>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

> Maybe it is just a compiler bug. But you should post a complete compilable
> code.

Here is a complete code with the same warning:

procedure Main is

   generic
      --  Element to be stored in the btree
      type Element (<>) is private;
      Order: Positive;
   package TestGen is

      type ElementPtr is access all Element;

      Buffer: array(1 .. Order*2) of ElementPtr;
      procedure Store(E: in Element; index: in Positive);

   end TestGen;

   package body TestGen is

      procedure Store(E: in Element; index: in Positive) is
      begin
         --  In my real procedure, index is calculated and there is some
         --  check. Index can't be > Order*2
         for i in Positive range Order+2 .. index-1 loop
            Buffer(i) := new Element'(E);
         end loop;
      end Store;

   end TestGen;

   package IntTestGen is new TestGen(
      Element => Integer,
      Order => 1
   );
   use IntTestGen;

begin

   Store(1, 4);

end Main;

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Cygwin)

iD8DBQFIWAOF+zV9xm4PlDQRAqdzAJ9Oa+0fS1VgOMo8dypPhkDgpNC0pQCfWwC1
cCWtqImCosykrr1tzGBf8gY=
=J0c5
-----END PGP SIGNATURE-----