gcc/testsuite/gnat.dg/memtrap.adb

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