OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

in_out_parameter.adb: New test. 

* gnat.dg/in_out_parameter.adb: New test.

From-SVN: r116945
This commit is contained in:
Olivier Hainque 2006-09-14 14:24:22 +00:00 committed by Eric Botcazou
parent fc87142b85
commit 351272b977
2 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2006-09-14 Olivier Hainque <hainque@adacore.com>
* gnat.dg/in_out_parameter.adb: New test.
2006-09-13 Andrew Pinski <pinskia@physics.uc.edu>
PR debug/28980

38
gcc/testsuite/gnat.dg/in_out_parameter.adb Normal file
View File

@ -0,0 +1,38 @@
-- { dg-do run }
with Ada.Streams.Stream_IO;
procedure In_Out_Parameter is
use Ada.Streams; use Stream_IO;
File : Stream_IO.File_Type;
type Bitmap is array (Natural range <>) of Boolean;
for Bitmap'Component_Size use 1;
type Message is record
B : Bitmap (0 .. 14);
end record;
for Message use record
B at 0 range 2 .. 16;
end record;
TX, RX : Message;
begin
TX.B := (others => False);
Stream_IO.Create (File => File, Mode => Out_File, Name => "data");
Message'Output (Stream (File), TX);
Stream_IO.Close (File);
--
Stream_IO.Open (File => File, Mode => In_File, Name => "data");
RX := Message'Input (Stream (File));
Stream_IO.Close (File);
if RX /= TX then
raise Program_Error;
end if;
end In_Out_Parameter;