aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/discr40.adb
blob: ea1b46aa7649de9e732bbe7d6b07b00dd9f36f91 (plain)
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;