1 -- { dg-do run { xfail arm*-*-* } }
2 -- { dg-options "-O2" }
4 -- This is an optimization test and its failure is only a missed optimization.
5 -- For technical reasons it cannot pass with SJLJ exceptions.
7 with Raise_From_Pure
; use Raise_From_Pure
;
9 procedure test_raise_from_pure
is
12 K
:= Raise_CE_If_0
(0);