Re: [Ada-mode-users] Ada-mode 6.2.1 problem with GCC 9.1.0

[Stephen Leake]

Simon Wright <address@hidden> writes:

> sal-gen_bounded_definite_stacks.ads:101:06: visibility of aspect for "Stack" 
> changes after freeze point
> sal-gen_bounded_definite_stacks.ads:101:27: Meaning of "Top" differs because 
> of declaration at line 96
> gprbuild: *** compilation phase failed
>
> This is in
>
>    type Stack (Size : Size_Type) is tagged record
>       Top  : Base_Peek_Type := Invalid_Peek_Index; -- empty      <<<<< line 96
>       Data : Element_Array (1 .. Size);
>       --  Top of stack is at Data (Top).
>       --  Data (1 .. Top) has been set at some point.
>    end record with
>      Dynamic_Predicate => Top in 0 .. Size;           <<<<< line 101
>
> This is likely a GCC9 problem, of course! since it compiles fine with
> GNAT CE 2019.

That's very odd. There is only one "Top" defined in the spec.

You can just delete the dynamic_predicate; it's mostly there for gnatprove.

-- 
-- Stephe