summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/null_pointer_deref3.adb
blob: c8e66a6c94aa62407e8ff79de9f75337d98321d8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
-- { dg-do run }

-- This test requires architecture- and OS-specific support code for unwinding
-- through signal frames (typically located in *-unwind.h) to pass.  Feel free
-- to disable it if this code hasn't been implemented yet.

procedure Null_Pointer_Deref3 is

   pragma Suppress (All_Checks);

   procedure Leaf is
      type Int_Ptr is access all Integer;
      function n return Int_Ptr is
      begin return null; end;

      Data : Int_Ptr := n;
   begin
      Data.all := 0;
   end;

begin
   Leaf;
exception
   when others => null;
end;