gcc/testsuite/gnat.dg/unchecked_convert12.adb

-- { dg-do run }

with Unchecked_Conversion;

procedure Unchecked_Convert12 is

  subtype Unsigned_Type is Integer range 2_034 .. 2_164;

  subtype Signed_Type is Integer range -2048 .. 2047; 

  type Rec is record
    S : Unsigned_Type;
  end record;
  pragma Pack (Rec);

  function To_Signed_Type is
     new Unchecked_Conversion (Source => Rec, Target => Signed_Type);

  function To_Unsigned_Type is
    new Unchecked_Conversion (Source => Signed_Type, Target => Rec);

  Data : Signed_Type;
  Temp : Rec;

begin

  Data := -1996;
  Temp := To_Unsigned_Type (Data);
  if Temp.S /= 2100 then
    raise Program_Error;
  end if;
  Data := To_Signed_Type (Temp);
  if Data /= -1996 then
    raise Program_Error;
  end if;

  Data := 2047;
  Temp := To_Unsigned_Type (Data);
  if Temp.S /= 2047 then
    raise Program_Error;
  end if;
  Data := To_Signed_Type (Temp);
  if Data /= 2047 then
    raise Program_Error;
  end if;

end;