I have now committed it as obvious.

The constraint, I couldn't find, was/is C546 (thanks to Reinhard Bader). With coarrays, I tend to have the problem whether the best search term is coarray or codimension (or sometimes also: coindexed, corank).

Committed as Rev. 212540

Tobias

Tobias Burnus wrote:
While checking whether gfortran already handles the new constraint at http://j3-fortran.org/doc/year/14/14-140r2.txt (it does), I found the following issues:

a) Coarray variables with pointer attribute weren't rejected.
b) There was a copy'n'paste error in symbol.c, having cray_pointer at places where one should have cray_pointee, such that the cray-pointer test had been done twice.

Build and regtested on x86-64-gnu-linux.
OK for the trunk?

* * *

Admittedly, I cannot find the constraint for (a), but I am certain that it is not intended to permit the POINTER attribute. Even using C526 plus C528 still seem to permit "integer, save, pointer :: caf[*]". I have now asked at the J3 mailing list for a pointer to the right constraint. At least Cray's compiler (correctly?!?) rejects coarrays with pointer attribute.

Tobias

Reply via email to