Subversion Repositories openrisc_me

-- { dg-do compile }
 
with Discr12_Pkg; use Discr12_Pkg;
 
procedure Discr13 is
 
  function F1 return Integer is
  begin
    return Dummy (1);
  end F1;
 
  protected type Poe (D3 : Integer := F1) is
    entry E (D3 .. F1);    -- F1 evaluated
    function Is_Ok (D3 : Integer; E_First : Integer; E_Last : Integer) return Boolean;
  end Poe;
 
  protected body Poe is
    entry E (for I in D3 .. F1) when True is
    begin
      null;
    end E;
    function Is_Ok (D3 : Integer; E_First : Integer; E_Last : Integer) return Boolean is
    begin
      return False;
    end Is_Ok;
  end Poe;
 
begin
  null;
end;