[all-commits] [llvm/llvm-project] ac44cb: [flang] Add two semantic checks about BIND(C) attr...

[PeixinQiao via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ac44cb7617a8e46cc23e0d1def4764f7bc13f978
      https://github.com/llvm/llvm-project/commit/ac44cb7617a8e46cc23e0d1def4764f7bc13f978
  Author: Peixin-Qiao <qiaopeixin at huawei.com>
  Date:   2022-10-25 (Tue, 25 Oct 2022)

  Changed paths:
    M flang/lib/Lower/CallInterface.cpp
    M flang/lib/Semantics/check-declarations.cpp
    A flang/test/Semantics/bind-c08.f90

  Log Message:
  -----------
  [flang] Add two semantic checks about BIND(C) attribute

As Fortran 2018 C1546, an elemental procedure shall not have the BIND
attribute.

As 18.3.6, it does not mention that an array with VALUE can be
interoperable. It is not reasonable to pass an array by value when the
array is too large. Forbid it to be consistent with gfortran/ifort.

Reviewed By: jeanPerier

Differential Revision: https://reviews.llvm.org/D136420