gcc/testsuite/gnat.dg/conv_integer.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure Conv_Integer is
   5    S : constant := Integer'Size;
   6    type Regoff_T is range -1 .. 2 ** (S-1);
   7    for Regoff_T'Size use S;
   8    B : Integer;
   9    C : Regoff_T;
  10 begin
  11    B := Integer (C);
  12 end;