view gcc/testsuite/gnat.dg/entry_queues3.adb @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do compile }

procedure Entry_Queues3 is

  generic
    type Large_Range is range <>;
  package Queue is
  end;

  package body Queue is
    task T is
      entry E(Large_Range);
    end T ;
 
    task body T is
      begin
        accept E(Large_Range'First) do
          null;
        end e ; 
      end T ;
  end Queue;
 
  type Large_Range is range 0 .. Long_Integer'Last;

  package My_Queue is new Queue(Large_Range); -- { dg-warning "warning" }

begin
  null;
end;