[flang][NFC] Document semantics of an ambiguous/non-portable use case
authorPeter Klausler <pklausler@nvidia.com>
Thu, 29 Jun 2023 20:03:14 +0000 (13:03 -0700)
committerPeter Klausler <pklausler@nvidia.com>
Mon, 3 Jul 2023 18:22:14 +0000 (11:22 -0700)
commit2163e662c64f892ef9952f6e57b6cda2f4403479
tree28f6dc07ade23ed2829fcafa7fa4531edbc9b2bd
parentb2b43794b977d0a4b11bddb9fee4f04cbddce25d
[flang][NFC] Document semantics of an ambiguous/non-portable use case

We intentionally process NAMELIST groups in a scope after having
resolved all of the names in that scope.  This means that a name
whose first appearance in a scope is in the NAMELIST group resolves
to a local object, if any, rather than to any host associated object.
The standard is unclear on this point, and there is no clear
precedent in other compilers.

This patch doesn't implement this choice -- that was done long ago --
but just documents the behavior in Extensions.md.

Differential Revision: https://reviews.llvm.org/D154375
flang/docs/Extensions.md