gcc/testsuite/gnat.dg/case_null.ads

   1 package Case_Null is
   2    type T is (a, b, c, d, e);
   3
   4    subtype S is T range b .. d;
   5
   6    subtype S1 is S range a .. d;
   7    --  Low bound out of range of base subtype.
   8
   9    procedure P1 (X : T);
  10
  11 end Case_Null;