Re: Addressing in Object Ada v/s GNAT (2013) showing Vast Differences

[Jacob Sparre Andersen <sparre@nbi.dk>]

Lucas Redding wrote:

> thanks for that. I am avoiding having to flood this with tons of
> code. So here is a compiled example.

You missed a test routine, so I wrote one:

with Ada.Text_IO;

with Interface_P;

procedure Use_Interface_P is
   type Word is mod 2 ** 32;
   Data   : Word with Import, Address => Interface_P.Var_Rec'Address;
   Remote : Interface_P.Rec;
   Local  : Interface_P.Local_Rec;
begin
   for Test_Value in Word loop
      Data := Test_Value;

      Remote := Interface_P.Var_Rec;
      Local  := Interface_P.Read_Record;

      if Word (Remote.A) /= Word (Local.A) or
         Word (Remote.B) /= Word (Local.B)
      then
         Ada.Text_IO.Put_Line ("Test value:" & Data'Img);
         Ada.Text_IO.Put_Line ("A:" & Remote.A'Img & " -> " & Local.A'Img);
         Ada.Text_IO.Put_Line ("B:" & Remote.B'Img & " -> " & Local.B'Img);
         Ada.Text_IO.New_Line;
      elsif Test_Value mod 2 ** 24 = 0 then
         Ada.Text_IO.Put_Line ("Test value:" & Data'Img);
      end if;
   end loop;
end Use_Interface_P;

Compiled with

   gnatmake -gnata -gnato -fstack-check -gnat12 -gnatyO -gnatv -gnati1 -gnatf -gnatn -m -j4 use_interface_p

the program runs without any errors, so you may have misconfigured your
compiler somehow.

Greetings,

Jacob
-- 
"The point is that I am now a perfectly safe penguin!"