'address on a subprogram parameter

[Vincent Marciante <vincent.marciante@l3harris.com>]

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?