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