summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/test_raise_from_pure.adb
blob: 66db2232e77c761d2ecae6592694d71878d58777 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
-- { dg-do run { xfail arm*-*-* } }
-- { dg-options "-O2" }

-- This is an optimization test and its failure is only a missed optimization.
-- For technical reasons it cannot pass with SJLJ exceptions.

with Raise_From_Pure; use Raise_From_Pure;

procedure test_raise_from_pure is
   K : Integer;
begin
   K := Raise_CE_If_0 (0);
end;