gcc/testsuite/gnat.dg/nested_proc2.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

-- { dg-do compile }
-- { dg-options "-gnatws" }

procedure Nested_Proc2 is

   type Arr is array(1..2) of Integer;

   type Rec is record
      Data : Arr;
   end record;

   From  : Rec;
   Index : Integer;

   function F (X : Arr) return Integer is
   begin
      return 0;
   end;

   procedure Test is
   begin
      Index := F (From.Data);
      If Index /= 0 then
         raise Program_Error;
      end if;
   end;

begin
  Test;
end;