PR other/53317
[official-gcc.git] / gcc / testsuite / gnat.dg / test_prefix1.adb
blob8ed1ed5e5ebf445d680694a226e417f82bc56a21
1 -- { dg-do run }
3 with prefix1; use prefix1;
4 procedure test_prefix1 is
5 Val : Natural;
6 Obj : T;
7 --
8 begin
9 for J in Obj.Func'Range loop
10 Val := Obj.Func (J);
11 if Val /= 2 ** J then
12 raise Program_Error;
13 end if;
14 end loop;
15 end test_prefix1;