From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: Addressing in Object Ada v/s GNAT (2013) showing Vast Differences
Date: Mon, 21 Sep 2015 15:47:37 +0200
Organization: JSA Research & Innovation
Message-ID: <87wpvj51fq.fsf@adaheads.sparre-andersen.dk>
References: <d9a8f605-fbcf-43bf-a53f-91c7f7608461@googlegroups.com>
	<ca55984c-17ca-4295-a43d-46300bf255e4@googlegroups.com>
	<msrt8o$fdm$1@dont-email.me>
	<26b4bb33-0ebc-4181-bea6-07f1e36ca288@googlegroups.com>
	<871tds56jw.fsf@adaheads.sparre-andersen.dk>
	<2c064071-2e40-4267-81f6-3196d7ae35ab@googlegroups.com>
NNTP-Posting-Host: 109.57.56.177.mobile.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: loke.gir.dk 1442843258 13088 109.57.56.177 (21 Sep 2015 13:47:38 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Mon, 21 Sep 2015 13:47:38 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:uSqcZAsHdNYjnQqvhIf3UAZqUH8=
Xref: news.eternal-september.org comp.lang.ada:27800
Date: 2015-09-21T15:47:37+02:00
List-Id: <comp.lang.ada>

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!"