CONTIGUOUS attribute

CONTIGUOUS attribute

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.

AnhangGröße
Herunterladen test.f90310 Bytes
10 Beiträge / 0 neu
Letzter Beitrag
Nähere Informationen zur Compiler-Optimierung finden Sie in unserem Optimierungshinweis.

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.   [X]
    call g(x(1 : 10 : 2)) ! no good
-----------^
compilation aborted for test.f90 (code 1)

Zitat:

TimP (Intel) schrieb:

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.   [X]
    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.

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

Zitat:

TimP (Intel) schrieb:

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.

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

www.quickthreadprogramming.com

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.

Steve - Intel Developer Support

Zitat:

Steve Lionel (Intel) schrieb:

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?

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

Steve - Intel Developer Support

Implemented in 15.0.

Steve - Intel Developer Support

Kommentar hinterlassen

Bitte anmelden, um einen Kommentar hinzuzufügen. Sie sind noch nicht Mitglied? Jetzt teilnehmen