[gfortran] Fix NULL reference types.

[Nathan Sidwell]

Richard Kenner wrote:
>     Apparently the optimizers [could] assume that a reference type
>     argument is never NULL.
> 
> Is this really correct?  If so, this has the potential of simplifying lots of
> code in Ada if we use REFERENCE_TYPE for things that can never be null.
I believe so, it is certainly true for C++.  I attach a documentation patch,
explaining such, ok?

nathan
-- 
Nathan Sidwell    ::   http://www.codesourcery.com   ::     CodeSourcery LLC
nathan@codesourcery.com    ::     http://www.planetfall.pwp.blueyonder.co.uk

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ref.patch
URL: <https://gcc.gnu.org/pipermail/gcc/attachments/20040818/b78fce6f/attachment.ksh>