This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]