gcc-4.9/gcc/testsuite/gnat.dg/memtrap.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

-- { dg-do compile }
-- { dg-options "-O2" }

with System;

procedure Memtrap is
  X : integer;
  for X'address use System.Null_Address;
begin
  X := 12;
exception
   when others => null;
end;

-- { dg-final { scan-assembler "__gnat_begin_handler|__gnat_raise_nodefer" } }