gcc/testsuite/gnat.dg/test_address_null_init.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnatws" }
   3
   4 with Address_Null_Init;  use Address_Null_Init;
   5 with Ada.Text_IO;  use Ada.Text_IO;
   6
   7 procedure Test_Address_Null_Init is
   8 begin
   9    if B /= null then
  10       Put_Line ("ERROR: B was not default initialized to null!");
  11    end if;
  12
  13    if A /= null then
  14       Put_Line ("ERROR: A was not reinitialized to null!");
  15    end if;
  16 end Test_Address_Null_Init;