gcc/testsuite/gnat.dg/discr40.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnat12 -gnata" }
   3
   4 package body Discr40 is
   5
   6    procedure Push (S: in out Stack; E : Element) is
   7    begin
   8       S.Length := S.Length + 1;
   9       S.Data(S.Length) := E;
  10    end Push;
  11
  12 end Discr40;