| Index: gcc/gcc/testsuite/gnat.dg/test_raise_from_pure.adb
|
| diff --git a/gcc/gcc/testsuite/gnat.dg/test_raise_from_pure.adb b/gcc/gcc/testsuite/gnat.dg/test_raise_from_pure.adb
|
| index a3a9c649659bb9183c72928741725434745e3173..66db2232e77c761d2ecae6592694d71878d58777 100644
|
| --- a/gcc/gcc/testsuite/gnat.dg/test_raise_from_pure.adb
|
| +++ b/gcc/gcc/testsuite/gnat.dg/test_raise_from_pure.adb
|
| @@ -1,6 +1,11 @@
|
| --- { dg-do run }
|
| --- { dg-options "-O2" }
|
| +-- { 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
|
|
|