gcc/testsuite/gnat.dg/discr40.adb


1
2
3
4
5
6
7
8
9
10
11
12

-- { dg-do compile }
-- { dg-options "-gnat12 -gnata" }

package body Discr40 is

   procedure Push (S: in out Stack; E : Element) is
   begin
      S.Length := S.Length + 1;
      S.Data(S.Length) := E;
   end Push;

end Discr40;