1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4procedure 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;
10begin
11   B := Integer (C);
12end;
13