[J3] C1128 in N1259

[Malcolm Cohen]

One thing you are missing is the definition of finalizable:

3.74
finalizable
⟨type⟩ has a final subroutine or a nonpointer nonallocatable component of finalizable type

So the finalizable type subobject question does not arise, it is correctly prohibited by the constraint.

Maybe (he surmises) having an allocatable ultimate component ought to be prohibited too.

BLOCK constructs are irrelevant.

Cheers,

From: Van Snyder via J3 
Sent: Sunday, August 19, 2018 2:54 PM
To: j3 
Cc: Van Snyder 
Subject: [J3] C1128 in N1259

I don't understand the usefulness of most of C1128 in N1259.

It prohibits a varioable that has LOCAL locality from having the
ALLOCATABLE attribute or being of finalizable type. It doesn't prohibit
these things for subobjects of such variables. It doesn't prohibit
these things for variables declared within BLOCK constructs within DO
CONCURRENT constructs.

Am I missing something, or did we fail to finish this constraint, or is
it overkill?



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 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/20180819/8e5cdaf2/attachment.html>