gcc/testsuite/gnat.dg/pointer_variable_bounds.ads

   1 with pointer_variable_bounds_q; use pointer_variable_bounds_q;
   2
   3 package pointer_variable_bounds is
   4
   5   type HALF_INTEGER is range -32768 .. 32767;
   6   subtype HALF_NATURAL is HALF_INTEGER range 0 .. 32767;
   7
   8   MAX_COMPS : constant HALF_NATURAL := HALF_NATURAL(A_MAX_COMPS);
   9   subtype COMP_POINTER_TYPE is HALF_NATURAL range 0 .. MAX_COMPS;
  10   subtype BUNDLE_POINTER_TYPE is HALF_NATURAL range 0 .. 1;
  11   subtype C_POINTER_TYPE is HALF_NATURAL range 0 .. 1;
  12
  13   procedure BUNDLE_DAT(BP : in BUNDLE_POINTER_TYPE);
  14   procedure SEQUENCE_DAT(BP : in BUNDLE_POINTER_TYPE);
  15
  16 end pointer_variable_bounds;