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