gcc/testsuite/gnat.dg/pointer_variable_bounds.adb

   1 -- { dg-do compile }\r
   2 -- { dg-options "-gnatws" }\r
   3 \r
   4 package body pointer_variable_bounds is\r
   5 \r
   6   function COMPONENT_DAT(BP : in BUNDLE_POINTER_TYPE; CP : in COMP_POINTER_TYPE) return HALF_INTEGER is\r
   7     type CP_TYPE is access COMP_POINTER_TYPE;\r
   8     type CD_TYPE is access HALF_INTEGER;\r
   9     CD : CD_TYPE;\r
  10   begin\r
  11     return CD.all;\r
  12   end;\r
  13 \r
  14   procedure BUNDLE_DAT(BP : in BUNDLE_POINTER_TYPE) is\r
  15     N0 : C_POINTER_TYPE := COMPONENT_DAT(BP, 4);\r
  16   begin\r
  17     null;\r
  18   end;\r
  19 \r
  20   procedure SEQUENCE_DAT(BP : in BUNDLE_POINTER_TYPE) is\r
  21     N0 : C_POINTER_TYPE := COMPONENT_DAT(BP, 4);\r
  22   begin\r
  23     null;\r
  24   end;\r
  25 \r
  26 end pointer_variable_bounds;\r