* snames.ads-tmpl (Name_Ivdep): New pragma-related name.
[official-gcc.git] / gcc / testsuite / gnat.dg / test_raise_from_pure.adb
blob8f928c585845570e1fb5e286bee2816681717a1f
1 -- { dg-do run }
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
10 K : Integer;
11 begin
12 K := Raise_CE_If_0 (0);
13 end;