------- Comment #2 from burnus at gcc dot gnu dot org 2008-12-17 09:56 ------- For Fortran 97 I found it; it is in the first sentence after the "Contrain:"s "The target shall have the same type parameters as the pointer-object"
For Fortran 2003 I'm still searching (it does not seem to be in the corrigenda). OK. Found it. I think the "Otherwise" clause of the following applies: "If data-target is a disassociated pointer, all nondeferred type parameters of the declared type of data pointer-object that correspond to nondeferred type parameters of data-target shall have the same values as the corresponding type parameters of data-target. Otherwise, all nondeferred type parameters of the declared type of data-pointer-object shall have the same values as the corresponding type parameters of data-target." Thus: One indeed needs the check mentioned in comment 0. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31822
