The code listed below compiles and runs without any errors in Intel Fortran XE 2013 Update 2 (126.96.36.199). And it writes out a result value of false for the statement on line 27. But do you think this is correct? I was expecting a compiler error given the CONTIGUOUS attribute on the dummy argument in AssumedShape subroutine? Does it not require that the actual argument has to be simply contiguous and which is not the case here?
You would recall from the Fortran 2008 standard:
5 5.3.7 CONTIGUOUS attribute 6 C530 An entity with the CONTIGUOUS attribute shall be an array pointer or an assumed-shape array. 7 1 The CONTIGUOUS attribute specifies that an assumed-shape array can only be argument associated with a 8 contiguous effective argument, or that an array pointer can only be pointer associated with a contiguous target. 9 2 An object is contiguous if it is 10 (1) an object with the CONTIGUOUS attribute, 11 (2) a nonpointer whole array that is not assumed-shape, 12 (3) an assumed-shape array that is argument associated with an array that is contiguous, 13 (4) an array allocated by an ALLOCATE statement, 14 (5) a pointer associated with a contiguous target, or 15 (6) a nonzero-sized array section (6.5.3) provided that 16 (a) its base object is contiguous, 17 (b) it does not have a vector subscript, 18 (c) the elements of the section, in array element order, are a subset of the base object elements 19 that are consecutive in array element order, 20 (d) if the array is of type character and a substring-range appears, the substring-range specifies all 21 of the characters of the parent-string (6.4.1), 22 (e) only its final part-ref has nonzero rank, and ..
PROGRAM p IMPLICIT NONE INTEGER, ALLOCATABLE :: a(:,:) INTEGER :: Istat ALLOCATE(a(5,5), STAT=Istat) IF (Istat /= 0) THEN STOP END IF a = 0 CALL AssumedShape(a(3,:)) STOP CONTAINS SUBROUTINE AssumedShape(arg) !.. INTEGER, CONTIGUOUS, INTENT(IN) :: arg(:) !.. WRITE(*,*) "Is arg contiguous? ",IS_CONTIGUOUS(arg) RETURN END SUBROUTINE AssumedShape END PROGRAM p