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

[Simon Wright]

gpr_query builds fine, but ...

Setup
   [mkdir]        object directory for project Wisi
Compile
   [Ada]          ada_mode_wisi_lalr_parse.ads
   [Ada]          ada_mode_wisi_lr1_parse.ads
   [Ada]          run_ada_lalr_parse.ads
   [Ada]          run_ada_lr1_parse.ads
   [Ada]          gpr_mode_wisi_parse.ads
   [Ada]          run_gpr_parse.ads
   [C]            wisitoken_grammar_re2c.c
   [C]            ada_re2c.c
   [C]            gpr_re2c.c
   [Ada]          ada_process_actions.adb
   [Ada]          ada_process_lalr_main.adb
   [Ada]          emacs_wisi_common_parse.adb
   [Ada]          gen_emacs_wisi_lr_parse.adb
   [Ada]          wisi.adb
   [Ada]          wisi-ada.adb
   [Ada]          wisitoken.adb
   [Ada]          wisitoken-parse.adb
   [Ada]          wisitoken-parse-lr.adb
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.