Intel® Fortran Compiler
Build applications that can scale for the future with optimized code designed for Intel® Xeon® and compatible processors.

CONTIGUOUS attribute

styc
Beginner
1,164 Views

ifort compiles the attached program without complaining. I wonder if some kind of a diagnostic message is necessary for subroutine f, which invokes subroutine g with an argument that may or may not be contiguous.

0 Kudos
9 Replies
TimP
Honored Contributor III
1,164 Views

current ifort:

test.f90(6): error #8375: Array section is not contiguous if it has stride other
 than unity.
    call g(x(1 : 10 : 2)) ! no good
-------------^
test.f90(6): error #8372: If dummy argument is declared CONTIGUOUS, actual argum
ent must be contiguous as well.  
    call g(x(1 : 10 : 2)) ! no good
-----------^
compilation aborted for test.f90 (code 1)

0 Kudos
styc
Beginner
1,164 Views

TimP (Intel) wrote:

current ifort:

test.f90(6): error #8375: Array section is not contiguous if it has stride other
 than unity.
    call g(x(1 : 10 : 2)) ! no good
-------------^
test.f90(6): error #8372: If dummy argument is declared CONTIGUOUS, actual argum
ent must be contiguous as well.  
    call g(x(1 : 10 : 2)) ! no good
-----------^
compilation aborted for test.f90 (code 1)

Line 6 is commented out. Please do not bring it back.

0 Kudos
TimP
Honored Contributor III
1,164 Views

f receives a contiguous copy and passes it on to g.

0 Kudos
styc
Beginner
1,164 Views

TimP (Intel) wrote:

f receives a contiguous copy and passes it on to g.

Seemingly that is not the case with ifort. If you fill with the original x with 1, 2, ..., 10 and print out x(1) and x(2) in g, you get 1 and 2. gfortran 4.7 packs the noncontiguous argument in f before passing it to g and prints out 1 and 3.

0 Kudos
jimdempseyatthecove
Honored Contributor III
1,164 Views

styc,

IVF requires caller to pass CONTIGUOUS array when dummy argument attributed with CONTIGUOUS.
gfortran apparently creates temporary array (when caller's arg not contiguous). This is equivalent to the called subroutine having no interface (explicit or implicit) with regard to the array dummy attributed CONTIGUOUS. Analogous to F90 calling F77 subroutine with no interface.

Sounds like an interpritation of the standards issue. Steve may be able to comment on this.

Jim Dempsey

0 Kudos
Steven_L_Intel1
Employee
1,164 Views

The Fortran standard changed in this area since Fortran 2008 was published.  Intel Fortran follows the original text that says:

The CONTIGUOUS attribute specifies that an assumed-shape array can only be associated with a contiguous effective argument.

Interpretation F08/0061 changed this to:

The CONTIGUOUS attribute specifies that an assumed-shape array is contiguous.

This interpretation was part of the just-approved Corrigendum 2 - we haven't caught up to that yet, but we will.  I have filed issue DPD200241665 regarding this change.

0 Kudos
styc
Beginner
1,164 Views

Steve Lionel (Intel) wrote:

The Fortran standard changed in this area since Fortran 2008 was published.  Intel Fortran follows the original text that says:

The CONTIGUOUS attribute specifies that an assumed-shape array can only be associated with a contiguous effective argument.

Interpretation F08/0061 changed this to:

The CONTIGUOUS attribute specifies that an assumed-shape array is contiguous.

This interpretation was part of the just-approved Corrigendum 2 - we haven't caught up to that yet, but we will.  I have filed issue DPD200241665 regarding this change.

Thanks for the clarification. In that case, is implied pack/unpack (à la gfortran) the expected behavior?

0 Kudos
Steven_L_Intel1
Employee
1,164 Views

I would say that, yes, that is the expected behavior.

0 Kudos
Steven_L_Intel1
Employee
1,164 Views

Implemented in 15.0.

0 Kudos
Reply