Re: A bug in Gnat, or in my code?

[Preben Randhol <randhol+abuse@pvv.org>]

Bj�rn Persson <spam-away@nowhere.nil> wrote on 11/03/2004 (08:22) :
> This program, when compiled with Gnat 3.3.2 and run on Fedora Core 1, 
> raises Storage_Error on line 7 (because of a segmentation fault):
> 
> procedure Error is                        --  1
>                                           --  2
>    procedure Proc (NullS : String) is     --  3
>       type SA is access String;           --  4
>       Point : SA := new String (1 .. 0);  --  5
>    begin                                  --  6
>       Point.all := NullS;                 --  7
>    end Proc;                              --  8
>                                           --  9
>    S : String := "s";                     -- 10
> begin                                     -- 11
>    Proc(S(3 .. 1));                       -- 12
> end Error;                                -- 13
> 
> If I change 3 to 2 on line 12 there is no error. As far as I can see, 
> (3..1) should be as legal as (2..1).
> 
> Am I right that this is a bug in Gnat?

I don't get this behaviour in gnat 3.15p so it is probably a gnat 3.3.2
bug. That said what are you trying to do with the code? It looks wierd
to me.

-- 
Preben Randhol -------------- http://www.pvv.org/~randhol/Ada95 --
                 �For me, Ada95 puts back the joy in programming.�