gcc/testsuite/gnat.dg/array16.adb

   1 package body Array16 is
   2
   3   function F1 (A : access My_T1) return My_T1 is
   4   begin
   5     return A.all;
   6   end;
   7
   8   function F2 (A : access My_T2) return My_T2 is
   9   begin
  10     return A.all;
  11   end;
  12
  13   procedure Proc (A : access My_T1; B : access My_T2) is
  14     L1 : My_T1 := F1(A);
  15     L2 : My_T2 := F2(B);
  16   begin
  17     if L1.D = 0 and then L2(1) = 0 then
  18       raise Program_Error;
  19     end if;
  20   end;
  21
  22 end Array16;