summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/lto5_pkg.ads
blob: 34d34926ea4607bcc9223551ac740f3755c5c803 (plain)
1
2
3
4
5
6
pragma Eliminate (p, d);

package Lto5_Pkg is
   type t is tagged null record;
   procedure d (a : t);
end;