Re: Visibility of Indexing aspects

[AdaMagica <christ-usch.grein@t-online.de>]

Am Samstag, 14. Juli 2018 16:18:38 UTC+2 schrieb Jere:
> Reference example compiled in GCC 8.1:
> 
> with Ada.Text_IO; use Ada.Text_IO;
> 
> procedure jdoodle is
>     package Containers is
> 
>       type Container is private;
>       
>     private
> 
>       type Container_Array is array(1..20) of aliased Integer;
>       type Container is tagged record
>          Data : Container_Array := (others => 0);
>       end record
>         with Variable_Indexing => Reference;
>       
>       type Reference_Holder
>          (Element : not null access Integer)
>       is limited null record
>          with Implicit_Dereference => Element;
>       
>       function Reference
>          (Self  : aliased in out Container;
>           Index : Positive)
>           return Reference_Holder
>       is (Element => Self.Data(Index)'Access);
>       
>     end Containers;
>    
>     C : aliased Containers.Container;
> begin
>     for Index in 1 .. 20 loop
>         C(Index) := Index;
>         Put_Line(Integer'Image(C(Index)));
>     end loop;
> end jdoodle;

Where did you get this code from? It's a plain compiler bug. How can a client know the index range?