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 |