(j3.2006) contiguous?

[Robert Corbett]

Consider the following program.

       PROGRAM MAIN
         REAL, TARGET, DIMENSION(1, 10) :: A
         REAL, POINTER, DIMENSION(:, :) :: P
         P=>A(::-1, :)
         PRINT *, IS_CONTIGUOUS(A(1, :))
         PRINT *, IS_CONTIGUOUS(A(::2, :))
         PRINT *, IS_CONTIGUOUS(A(::-1, :))
         PRINT *, IS_CONTIGUOUS(P)
       END

I think the program should write four lines containing
the letter T.  I think the Fortran 2008 standard is
clear on this point (see Clause 5.3.7).  At least one
implementation produces a different result.  Does
anyone think any of the function references should
return the value false?

Robert Corbett