Re: Generic warning

["Sébastien Morand" <seb.morand@gmail.com>]

-----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-----