gcc/testsuite/gnat.dg/equal6.adb

   1 --  { dg-do run }
   2 with Text_IO;
   3 with Equal6_Types; use Equal6_Types;
   4
   5 procedure Equal6 is
   6    Packets_In  : To_Evc_Optional_Packet_List_T;
   7    Packets_Out : To_Evc_Optional_Packet_List_T;
   8 begin
   9    Packets_In.list (1) :=
  10      (Data_Used_Outside_Ertms_System =>
  11         (Mail_Box    =>
  12            (Receiver => 31,
  13             Data     => (Length => 12, Message => (0, others => 0)))));
  14
  15    Packets_Out.list (1) :=
  16      (Data_Used_Outside_Ertms_System =>
  17         (Mail_Box    =>
  18            (Receiver => 31,
  19             Data     => (Length => 12, Message => (0, others => 1)))));
  20
  21    if not (Packets_In = Packets_Out) then
  22       raise Program_Error;
  23    end if;
  24
  25    if not (Equal1_Called and then Equal2_Called) then
  26       raise Program_Error;
  27    end if;
  28
  29 end Equal6;