Access vs. Address ?

["W. Wesley Groleau (Wes)" <wwgrol@PSESERV3.FW.HAC.COM>]

> It is surprising how MUCH Ada code out there relies on the assumption
> that all pointers are the same size as addresses. ...

This assumption is normally accompanied by a more dangerous assumption
that all pointers ARE addresses.  Even though this is usually true,
it IS NOT REQUIRED by either LRM.  And even when it is true, what is
happening is usually NOT what the programmer meant.  I refer to the
Unchecked_Conversion of an access value to an address when what is
wanted is the address of the accessed item.

begin -- Soapbox

   -- The address of  Pointer.all  is  Pointer.all'Address --

   -- it is NOT  Convert_To_Address (Pointer);

   -- The latter works SOMETIMES with SOME compilers.  And when it doesn't
   -- work, it can REALLY screw things up!

end Soapbox;

Feel free to share this with your beginning programmers  :-)

--
---------------------------------------------------------------------------
W. Wesley Groleau (Wes)                                Office: 219-429-4923
Magnavox - Mail Stop 10-40                               Home: 219-471-7206
Fort Wayne,  IN   46808              elm (Unix): wwgrol@pseserv3.fw.hac.com
---------------------------------------------------------------------------