elim1.ads « gnat.dg « testsuite « gcc « gcc-4.9 - toolchain_gcc - toolchain/gcc

about summary refs log tree commit diff stats

path: root/gcc-4.9/gcc/testsuite/gnat.dg/elim1.ads

blob: 7a7bd3588b481a6ad34be372a6e116a8389361a8 (plain)

pragma Eliminate (p, d);
package elim1 is
   type t is tagged null record;
   procedure d (a : t);       
end;