gcc/testsuite/gnat.dg/lto8_pkg.ads

   1 with System;
   2 with Unchecked_Conversion;
   3
   4 package Lto8_Pkg is
   5
   6    type Task_Priority_T is new Natural;
   7    function Convert_To_System_Priority is
   8      new Unchecked_Conversion (Task_Priority_T, System.Priority);
   9
  10    protected type Protected_Queue_T( PO_Priority : Task_Priority_T ) is
  11       pragma Priority (Convert_To_System_Priority (PO_Priority ));
  12       entry Seize;
  13    end Protected_Queue_T;
  14
  15    Sema1 : protected_Queue_T (5);
  16    Sema2 : protected_Queue_T (10);
  17
  18 end Lto8_Pkg;