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