gcc/testsuite/gnat.dg/test_raise_from_pure.adb

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