1-- { dg-do compile }
2-- { dg-options "-O2" }
3
4with System;
5
6procedure Memtrap is
7  X : integer;
8  for X'address use System.Null_Address;
9begin
10  X := 12;
11exception
12   when others => null;
13end;
14
15-- { dg-final { scan-assembler "__gnat_begin_handler|__gnat_raise_nodefer" } }
16