http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55735
kargl at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |kargl at gcc dot gnu.org
--- Comment #2 from kargl at gcc dot gnu.org 2012-12-18 16:47:10 UTC ---
(In reply to comment #1)
> Postscript: The example in comment 0 mixes a scalar and an array pointers.
> While the ICE occurs with either, the declaration should be consistent.
I could be wrong, but I believe that the program in comment 0
is invalid.
F2008: p. 116
A data pointer shall be storage associated only with data pointers of the
same type and rank. Data pointers that are storage associated shall have
deferred the same type parameters; corresponding nondeferred type parameters
shall have the same value.
I doubt that it is possible to catch the rank mismatch (except
maybe under -fwhole-program with everything in one file).
