* snames.ads-tmpl (Name_Ivdep): New pragma-related name.
[official-gcc.git] / gcc / testsuite / gnat.dg / check1.adb
blobf3d32333cd946defe174f82303465e5c24b8e529
1 -- { dg-do compile }
3 package body Check1 is
4 function FD (X : access R) return P2 is
5 begin
6 return P2 (X.Disc);
7 end FD;
8 end Check1;