Richard and Aleksandar have been corresponding about targets and pointers
and C_LOC and C_F_POINTER.
Aleksandar has argued that some compilers do pointer analysis and decide
that even though a variable has the target attribute, it is nonetheless
safe to assume it's not aliased within a certain context.
Richard has argued that those bets are off when C_LOC is present.
Perhaps we need an additional fillip on the TARGET attribute, say
TARGET(C), to indicate "not only can it be the target of a pointer, but
it can also be the target of a C pointer, or a pointer of a different
type, kind or rank from its declaration." This would separate the case
of a purely Fortran usage of pointers and targets, from the kinds of
tricks that one can do by sending targets or pointers through C.
--
What fraction of Americans believe | Van Snyder
Wrestling is real and NASA is fake? | [log in to unmask]
Any alleged opinions are my own and have not been approved or disapproved
by JPL, CalTech, NASA, Sean O'Keefe, George Bush, the Pope, or anybody else.
|