* snames.ads-tmpl (Name_Ivdep): New pragma-related name.
[official-gcc.git] / gcc / testsuite / gnat.dg / discr26.adb
blob2d498889bf8186477c4b5b546bc55293365b064c
1 -- { dg-do compile }
2 -- { dg-options "-gnatws" }
4 package body Discr26 is
6 function F1 return My_T1 is
7 R: My_T1;
8 begin
9 return R;
10 end;
12 procedure Proc is
13 begin
14 if F1.D = 0 then
15 raise Program_Error;
16 end if;
17 end;
19 end Discr26;