This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: Null pointer check elimination
- From: Andrew Pinski <pinskia at physics dot uc dot edu>
- To: gdr at integrable-solutions dot net (Gabriel Dos Reis)
- Cc: paul at codesourcery dot com (Paul Brook), gcc at gcc dot gnu dot org, per at bothner dot com (Per Bothner), green at redhat dot com (Anthony Green), java at gcc dot gnu dot org
- Date: Sat, 12 Nov 2005 18:36:18 -0500 (EST)
- Subject: Re: Null pointer check elimination
> | of what the semantics of REFERENCE_TYPE are/should be, then yes.
>
> See, it is not a semantics I made up. Even people arguing for null
> reference recognize it is undefined behaviour.
With C++ yes but not with Fortran where there are optional arguments.
So What you are saying is that Fortran should not use reference types.
Well in fortran, all agruments are passed via a reference so that is just
wrong. Using pointers there would be just wrong, as that is not the
semantics for the variable.
-- Pinski