[flang] Add some semantic checks for derived type with BIND attribute
authorPeixin Qiao <qiaopeixin@huawei.com>
Tue, 2 Aug 2022 15:07:02 +0000 (23:07 +0800)
committerPeixin Qiao <qiaopeixin@huawei.com>
Tue, 2 Aug 2022 15:07:02 +0000 (23:07 +0800)
commit48b6f5c708ccf99ee18b68ca547c034606ed3493
treed8ade43fbe47610a45479be42b952bb772c5e84e
parent1f9212d8d53aae8b3d727d9967d68ab177a4ce0c
[flang] Add some semantic checks for derived type with BIND attribute

This supports checks in C1801-C1805 for derived type with BIND attribute.
The other compilers such as 'gfortran' and 'ifort' do not report error
for C1802 and C1805, so emit warnings for them.

Reviewed By: klausler

Differential Revision: https://reviews.llvm.org/D130438
flang/lib/Semantics/check-declarations.cpp
flang/test/Semantics/bind-c06.f90 [new file with mode: 0644]
flang/test/Semantics/modfile11.f90