[gfortran] Fix NULL reference types.
Thu Aug 19 09:15:00 GMT 2004
Kenner and I discussed this back in 1998:
I went back to that message. You list four properties. The latter two aren't
relevant for optimizers. But the second is that it's never modified.
My feeling, though, is that REFERENCE_TYPE by itself shouldn't have that
property because we already have a way to represent something that's never
That means that only difference is that REFERENCE_TYPE values cannot be
null while POINTER_TYPE values can be. Does that seem right?
More information about the Gcc-patches