gcc-4.8/gcc/testsuite/gnat.dg/address_null_init.ads


1
2
3
4
5
6
7
8

package Address_Null_Init is
   
   type Acc is access Integer;
   A : Acc := new Integer'(123);
   B : Acc;  -- Variable must be set to null (and A overwritten by null)
   for B'Address use A'Address;

end Address_Null_Init;