------- Additional Comments From tobi at gcc dot gnu dot org 2005-09-30 21:07 ------- Length is a type parameter. All type parameters shall be identical in a POINTER assignment. Hence the example is illegal.
This means that bound checking should reject the following for i /= 5: character*5, pointer :: p character*10, target :: t p => t(1:i) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20895