1-- { dg-do run }
2-- { dg-options "-O2" }
3
4with System.Address_To_Access_Conversions;
5
6procedure address_conversion is
7
8   type Integer_type1 is new Integer;
9   type Integer_type2 is new Integer;
10
11   package AA is new System.Address_To_Access_Conversions (Integer_type1);
12
13   K1 : Integer_type1;
14   K2 : Integer_type2;
15
16begin
17   K1 := 1;
18   K2 := 2;
19
20   AA.To_Pointer(K2'Address).all := K1;
21   if K2 /= 1 then
22      raise Program_Error;
23   end if;
24end;
25