1-- { dg-do run } 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 7with Raise_From_Pure; use Raise_From_Pure; 8 9procedure test_raise_from_pure is 10 K : Integer; 11begin 12 K := Raise_CE_If_0 (0); 13end; 14