2015-07-03 Christophe Lyon <christophe.lyon@linaro.org>

[official-gcc.git] / gcc / testsuite / gnat.dg / address_null_init.ads

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;