[all-commits] [llvm/llvm-project] dafd3c: [flang] Complement one-to-one association check of...

[PeixinQiao via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dafd3cf8b1cc9dae0ae1fabc2fd1ad4379119d11
      https://github.com/llvm/llvm-project/commit/dafd3cf8b1cc9dae0ae1fabc2fd1ad4379119d11
  Author: Peixin-Qiao <qiaopeixin at huawei.com>
  Date:   2022-06-14 (Tue, 14 Jun 2022)

  Changed paths:
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/resolve-names.cpp
    A flang/test/Semantics/declarations03.f90

  Log Message:
  -----------
  [flang] Complement one-to-one association check of bind name and entity name

As Fortran 2018 C802 and C873, if bind name is specified, there can only
be only one entity. The check for common block is missed before. As
Fortran 2018 8.5.5 point 2, the bind name is one identifier, which is
unique. That is, one entity can not have multiple bind names. Also add
this check.

Reviewed By: klausler, Jean Perier

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