1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/test_raise_from_pure.adb b/gcc/testsuite/gnat.dg/test_raise_from_pure.adb
new file mode 100644
index 000000000..66db2232e
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/test_raise_from_pure.adb
@@ -0,0 +1,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;