2 -- { dg-options "-gnatws" }
4 procedure discr_range_check is
5 Default_First_Entry : constant := 1;
7 task type Server_T (First_Entry : Positive := Default_First_Entry) is
8 entry E (First_Entry .. First_Entry);
11 task body Server_T is begin null; end;
13 type Server_Access is access Server_T;
14 Server : Server_Access;
17 Server := new Server_T;