http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50550
janus at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |janus at gcc dot gnu.org
--- Comment #1 from janus at gcc dot gnu.org 2011-09-28 20:00:54 UTC ---
The cases in comment #0 are rather easily fixable in the current
implementation. However, the harder case will be the following:
integer :: j => null()
pointer :: j
end
because when parsing the init, we don't know yet whether the object is a
pointer or not (which means the check would have to be deferred to resolution
stage).
Looking at F08:R505 and friends, I don't see an obvious reason why any of the
cases listed here should be forbidden.
