[flang] Catch bad usage of POINTER attribute
authorPeter Klausler <pklausler@nvidia.com>
Sat, 10 Dec 2022 18:59:52 +0000 (10:59 -0800)
committerPeter Klausler <pklausler@nvidia.com>
Fri, 16 Dec 2022 17:04:54 +0000 (09:04 -0800)
commit6f6af76b843d1f5538e2ee112a0237ec3a899327
tree90f4c08088ccd98cf0ec275d13553494f126bb7a
parentc0c909eef89f61ad5b9d7bc24a6a3d9cdca20fcf
[flang] Catch bad usage of POINTER attribute

Most attributes apply to only object or only procedure entities,
and attempts to apply them to other kinds of symbol table entries
are caught in name resolution when ConvertToObjectEntity() or
ConvertToProcEntity() fails.  However, the POINTER attribute can
be applied to both, and name resolution can't perform that conversion
yet, and as a result we don't catch many kinds of silly errors.
Fix by ensuring that the symbol is of a type that could eventually
become an object or procedure entity if it is not one already.

Differential Revision: https://reviews.llvm.org/D140137
flang/docs/Extensions.md
flang/lib/Semantics/resolve-names.cpp
flang/test/Semantics/pointer01.f90 [new file with mode: 0644]