gcc/testsuite/gnat.dg/null_pointer_deref3.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O -gnatp" }
   3
   4 -- This test requires architecture- and OS-specific support code for unwinding
   5 -- through signal frames (typically located in *-unwind.h) to pass.  Feel free
   6 -- to disable it if this code hasn't been implemented yet.
   7
   8 procedure Null_Pointer_Deref3 is
   9
  10    procedure Leaf is
  11       type Int_Ptr is access all Integer;
  12       function n return Int_Ptr is
  13       begin return null; end;
  14
  15       Data : Int_Ptr := n;
  16    begin
  17       Data.all := 0;
  18    end;
  19
  20 begin
  21    Leaf;
  22 exception
  23    when others => null;
  24 end;