1-- { dg-do compile } 2-- { dg-options "-gnatws" } 3 4with System; 5with System.Storage_Elements; 6with Unchecked_Conversion; 7 8package UC1 is 9 10 function Conv is 11 new Unchecked_Conversion (Source => System.Address, Target => Integer); 12 function Conv is 13 new Unchecked_Conversion (Source => Integer, Target => System.Address); 14 15 M : constant System.Address := System.Storage_Elements.To_Address(0); 16 N : constant System.Address := Conv (Conv (M) + 1); 17 A : constant System.Address := Conv (Conv (N) + 1); 18 19 I : Integer; 20 for I use at A; 21 22end UC1; 23