gcc-4.9/gcc/testsuite/gnat.dg/lto8.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

-- { dg-do run }
-- { dg-options "-gnatws" }
-- { dg-options "-gnatws -flto" { target lto } }

pragma Locking_Policy (Ceiling_Locking);

with Lto8_Pkg; use Lto8_Pkg;

procedure Lto8 is
   task Tsk is
      pragma Priority (10);
   end Tsk;
   task body Tsk is
   begin
      Sema2.Seize;
      Sema1.Seize;
   exception
      when Program_Error => null;
   end;
begin
   null;
end;