Null pointer check elimination

Sat Nov 12 23:38:00 GMT 2005

> | 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