This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [gfortran] Fix NULL reference types.
Paul Brook wrote:
On Thursday 19 August 2004 18:55, Daniel Jacobowitz wrote:
I suspect we know that Fortran's reference types can't trap if they are
non-NULL, also. That might be nice to represent also.
In Fortran they can trap on write, but not on read.
Are you sure ? In a legal Fortran program you have to pass a legal
(variable, array element, array) as an actual argument to a subprogram.
When its INTENT shows that it is OK to write to it, it better be an OK
address to write to.
Or am I missing something in your reasoning ?
--
Toon Moene - mailto:toon@moene.indiv.nluug.nl - phoneto: +31 346 214290
Saturnushof 14, 3738 XG Maartensdijk, The Netherlands
Maintainer, GNU Fortran 77: http://gcc.gnu.org/onlinedocs/g77_news.html
A maintainer of GNU Fortran 95: http://gcc.gnu.org/fortran/