gcc/testsuite/gnat.dg/handle_raise_from_pure.adb

   1 --  { dg-do run }
   2 --  { dg-options "-O2" }
   3 with Ada.Text_Io; use Ada.Text_IO;
   4 with Raise_From_Pure; use Raise_From_Pure;
   5 procedure handle_raise_from_pure is
   6    K : Integer;
   7 begin
   8    K := Raise_CE_If_0 (0);
   9 exception
  10    when others => Put_Line ("exception caught");
  11 end;