1-- { dg-options "-gnatws" } 2 3package body test_prio_p is 4 protected body Protected_Queue_T is 5 entry Seize when True is begin null; end; 6 end Protected_Queue_T; 7end test_prio_p; 8
1-- { dg-options "-gnatws" } 2 3package body test_prio_p is 4 protected body Protected_Queue_T is 5 entry Seize when True is begin null; end; 6 end Protected_Queue_T; 7end test_prio_p; 8