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