gcc-4.8/gcc/testsuite/gnat.dg/case_null.ads


1
2
3
4
5
6
7
8
9
10
11

package Case_Null is
   type T is (a, b, c, d, e);

   subtype S is T range b .. d;

   subtype S1 is S range a .. d;
   --  Low bound out of range of base subtype.

   procedure P1 (X : T);

end Case_Null;