Subversion Repositories openrisc

-- { dg-do run }

-- { dg-options "-gnat12" }

procedure In_Out_Parameter2 is

  function F (I : In Out Integer) return Boolean is

    A : Integer := I;

  begin

    I := I + 1;

    return (A > 0);

  end;

  I : Integer := 0;

  B : Boolean;

begin

  B := F (I);

  if B then

    raise Program_Error;

  end if;

  if I /= 1 then

    raise Program_Error;

  end if;

end;