gcc/testsuite/gnat.dg/address_null_init.ads

   1 package Address_Null_Init is
   2
   3    type Acc is access Integer;
   4    A : Acc := new Integer'(123);
   5    B : Acc;  -- Variable must be set to null (and A overwritten by null)
   6    for B'Address use A'Address;
   7
   8 end Address_Null_Init;