gcc/testsuite/gnat.dg/discr13.adb

   1 -- { dg-do compile }
   2
   3 with Discr12_Pkg; use Discr12_Pkg;
   4
   5 procedure Discr13 is
   6
   7   function F1 return Integer is
   8   begin
   9     return Dummy (1);
  10   end F1;
  11
  12   protected type Poe (D3 : Integer := F1) is
  13     entry E (D3 .. F1);    -- F1 evaluated
  14     function Is_Ok (D3 : Integer; E_First : Integer; E_Last : Integer) return Boolean;
  15   end Poe;
  16
  17   protected body Poe is
  18     entry E (for I in D3 .. F1) when True is
  19     begin
  20       null;
  21     end E;
  22     function Is_Ok (D3 : Integer; E_First : Integer; E_Last : Integer) return Boolean is
  23     begin
  24       return False;
  25     end Is_Ok;
  26   end Poe;
  27
  28 begin
  29   null;
  30 end;