gcc/testsuite/gnat.dg/specs/uc1.ads

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 with System;
   5 with System.Storage_Elements;
   6 with Unchecked_Conversion;
   7
   8 package 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
  22 end UC1;