Null pointer check elimination

Sun Nov 13 01:01:00 GMT 2005

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