1-- { dg-do compile }
2
3with Discr12_Pkg; use Discr12_Pkg;
4
5procedure 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
28begin
29  null;
30end;
31