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