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);