summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/case_null.ads
blob: 0e47d4200ba0f32772078f96c3bf6701b6a9ca91 (plain)
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;