summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/handle_raise_from_pure.adb
blob: 0248d350d712cef8c0d6c6aa076c84b632817ad0 (plain)
1
2
3
4
5
6
7
8
9
10
11
--  { dg-do run }
--  { dg-options "-O2" }
with Ada.Text_Io; use Ada.Text_IO;
with Raise_From_Pure; use Raise_From_Pure;
procedure handle_raise_from_pure is
   K : Integer;
begin
   K := Raise_CE_If_0 (0);
exception
   when others => Put_Line ("exception caught");
end;