[flang-commits] [flang] [flang][docs] Extensions.md audit (PR #202331)

[Theodore-Thomas Tsikas via flang-commits]

================

----------------
amd-thtsikas wrote:

It is clear in the Standard (19.5.1.4 Host association, para 2, J3/24-007). There are 19 cases listed where a name in a scoping unit is a local identifier in that scoping unit and none of them apply. Therefore it is not a local identifier in that scoping unit and must be host associated. 

This is not a case of the Standard being "ambiguous or indefinite". It is a case of a Standard feature being error-prone in use, and it is on that basis that the compiler rejects it. Perhaps we need a new category of error-prone Standard features that the compiler rejects by default.

https://github.com/llvm/llvm-project/pull/202331