gcc/testsuite/gnat.dg/case_optimization3.ads

   1 package Case_Optimization3 is
   2
   3    type T_UINT32 is range 0 .. (2 ** 32) - 1;
   4    for T_UINT32'Size use 32;
   5
   6    subtype T_RANGE is T_UINT32 range 0 .. 7;
   7
   8    procedure Proc (Val : T_RANGE);
   9
  10 end Case_Optimization3;