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