1-- { dg-do run }
2-- { dg-options "-gnatws" }
3
4with Misaligned_Param_Pkg;
5
6procedure Misaligned_Param is
7
8   procedure Channel_Eth (Status : out Integer; Kind : out Integer);
9
10   pragma Import (External, Channel_Eth);
11   pragma Import_Valued_Procedure
12     (Channel_Eth, "channel_eth", (Integer, Integer), (VALUE, REFERENCE));
13
14   type Channel is record
15      B : Boolean;
16      Kind : Integer;
17   end record;
18   pragma Pack (Channel);
19
20   MyChan : Channel;
21   Status : Integer;
22
23begin
24   MyChan.Kind := 0;
25   Channel_Eth (Status => Status, Kind => MyChan.Kind);
26
27   if Mychan.Kind = 0 then
28      raise Program_Error;
29   end if;
30end;
31