gcc/testsuite/gnat.dg/discr_range_check.adb

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