This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: Null pointer check elimination
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- 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: 13 Nov 2005 02:00:08 +0100
- Subject: Re: Null pointer check elimination
- References: <200511130020.jAD0KdDW010198@earth.phy.uc.edu>
Andrew Pinski <pinskia@physics.uc.edu> writes:
| >
| > Andrew Pinski <pinskia@physics.uc.edu> writes:
| >
| > | > | 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.
| >
| > Then what is the difference between a pointer type and a reference type?
|
| To the middle-end nothing,
That is why GCC got it wrong.
[...]
| GCC is not a C++ play ground.
?
-- Gaby