[J3] surprisingly PURE

[Malcolm Cohen]

No-one is missing an irrelevant part of the standard, least of all the people who wrote it.

 

We know X and its subobjects are not permitted to appear in a variable definition context.

 

But there is no prohibition, for Y, a local variable, or its subobjects, from appearing in such a context.

 

If you are going to claim Y%P is already covered by C1594, you have to show how Y%P is

*	accessed by use or host association [and it’s not]
*	in a common block [and it’s not]
*	is a pointer dummy argument [and it’s not]
*	is a dummy argument [and it’s not]
*	is a coindexed object [and it’s not]
*	is storage associated with anything else [and it’s not]

 

Being pointer associated has nothing to do with any of those things. And “being pointer associated with X” is not “being X”.

 

Cheers,

-- 

..............Malcolm Cohen, NAG Oxford/Tokyo.

 

From: J3 <j3-bounces at mailman.j3-fortran.org> On Behalf Of Steven G. Kargl via J3
Sent: Monday, April 20, 2020 3:32 PM
To: General J3 interest list <j3 at mailman.j3-fortran.org>
Cc: Steven G. Kargl <kargl at troutmask.apl.washington.edu>; Malcolm Cohen <malcolm at nag-j.co.jp>
Subject: Re: [J3] surprisingly PURE

 

On Mon, Apr 20, 2020 at 02:34:31PM +0900, Malcolm Cohen via J3 wrote:
> >Y%P is associated with the host-associated variable X.
> 
> That is “pointer associated”. Not any other form of associated.
> 

I never said that it wasn't pointer associated.

X is available in the subroutine via host association.
That is, it is a host-associated variable.

> I think we're looking for
> 
> 19.5.2.7 Pointer definition status

This is the relevant part of the standard that I think some
are missing.

-- 
Steve



Disclaimer

The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. Please see our Privacy Notice <https://www.nag.co.uk/content/privacy-notice>  for information on how we process personal data and for details of how to stop or limit communications from us.

This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20200420/8f008e6c/attachment-0001.htm>