From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a37:a909:: with SMTP id s9mr5013214qke.225.1618931430158;
        Tue, 20 Apr 2021 08:10:30 -0700 (PDT)
X-Received: by 2002:a25:ccc1:: with SMTP id l184mr25530298ybf.165.1618931429931;
 Tue, 20 Apr 2021 08:10:29 -0700 (PDT)
Newsgroups: comp.lang.ada
Date: Tue, 20 Apr 2021 08:10:29 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=35.245.252.196; posting-account=XfA3zgkAAABoz6fRf3Tehtnqqr7Ycml-
NNTP-Posting-Host: 35.245.252.196
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <962020bb-97fc-42c3-8255-8f9b2bcbe204n@googlegroups.com>
Subject: 'address on a subprogram parameter
From: Vincent Marciante <vincent.marciante@l3harris.com>
Injection-Date: Tue, 20 Apr 2021 15:10:30 +0000
Content-Type: text/plain; charset="UTF-8"
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!usenet.pasdenom.info!usenet-fr.net!feed.ac-versailles.fr!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Xref: reader02.eternal-september.org comp.lang.ada:61859
List-Id: <comp.lang.ada>

I think that I used to know this but currently am not sure:

Assuming the a value is passed by reference, is 'Address of a parameter 
always the address of the object that is passed as in:

...

  type Big_Record is ...

  Object : Big_Record;

  procedure Proc (Param :  in out Big_Record) is
  begin
    if  Param'Address /= Object'Address  then
         raise Constraint_Error;
    end if;     
  end;

begin
  Proc(Object);
  ...


Also, does parameter mode (in, in out, out) make any difference?