Re: Bug in Ada (SuSe 10.2) ?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

billjones6789@yahoo.com writes:

> On Feb 26, 5:05�pm, Robert A Duff <bobd...@shell01.TheWorld.com>
> wrote:
>> Maybe I missed it -- did you or somebody else post an example of a
>> missing accessibility check? �
>
> Yes, here's another copy.  Randy reports a compile-time
> error message, and Bob Klungle reports that the program
> runs without raising program_error.

Ah, thanks for reposting that.

Unless I'm missing something, both compiler behaviors are bugs,
and should be reported.  I would expect a run-time error in WoW,
and there's no compiler switch that's supposed to turn this
check on -- it's supposed to be on by default.

> with Ada.Text_IO;
> procedure Dangling_Pointer2 is
>    type Int_Access is access all integer;
>
>    Save : Int_Access;
>
>    type AirSpeed is record
>       Altitude : aliased integer := 9;
>    end record;
>
>    function WoW (Slats: access AirSpeed) return Int_Access is
>    begin
>       return Slats.Altitude'Access;
>    end WoW;
>
>    procedure Calculate is
>       Heading : aliased AirSpeed;
>    begin
>       Save := WoW (Heading'access);
>       Ada.Text_IO.Put_Line (integer'image(Save.all));
>    end Calculate;
>
>    procedure Mess_with_stack is
>       Dummy: array(1..10) of integer := (others => 17);
>    begin
>       null;
>    end Mess_with_stack;
>
> begin
>    Calculate;
>    Mess_with_stack;
>    Ada.Text_IO.Put_Line (integer'image(Save.all));
> end Dangling_Pointer2;

- Bob