gcc/testsuite/gnat.dg/null_pointer_deref1.adb

   1 -- { dg-do run }
   2 -- { dg-options "-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_Deref1 is
   9    type Int_Ptr is access all Integer;
  10
  11    function Ident return Int_Ptr is
  12    begin
  13      return null;
  14    end;
  15
  16    Data : Int_Ptr := Ident;
  17 begin
  18    Data.all := 1;
  19 exception
  20    when Constraint_Error | Storage_Error => null;
  21 end;