gcc/testsuite/gnat.dg/lto8.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatws" }
   3 -- { dg-options "-gnatws -flto" { target lto } }
   4
   5 pragma Locking_Policy (Ceiling_Locking);
   6
   7 with Lto8_Pkg; use Lto8_Pkg;
   8
   9 procedure Lto8 is
  10    task Tsk is
  11       pragma Priority (10);
  12    end Tsk;
  13    task body Tsk is
  14    begin
  15       Sema2.Seize;
  16       Sema1.Seize;
  17    exception
  18       when Program_Error => null;
  19    end;
  20 begin
  21    null;
  22 end;