[flang] Add checks for valid defined assignment procedures
authorTim Keith <tkeith@nvidia.com>
Fri, 22 Nov 2019 22:40:53 +0000 (14:40 -0800)
committerTim Keith <tkeith@nvidia.com>
Tue, 26 Nov 2019 19:18:59 +0000 (11:18 -0800)
commitb51673cab9b11e4b6d987f47a99e88851cde6199
treef4a4d6bacf61e804ef7749c2a30628ad1933313d
parent67c548376d3360f79bc201ac524153e6b5d2420d
[flang] Add checks for valid defined assignment procedures

Perform the checks from 15.4.3.4.3 to determine what procedures are
valid to implement defined assignment. This requires characterizing
procedures, so share the result of that with
`CheckSpecificsAreDistinguishable`.

Original-commit: flang-compiler/f18@9e0d79f1735cf99b43f9ff7f6d712d7aa862dead
Reviewed-on: https://github.com/flang-compiler/f18/pull/841
Tree-same-pre-rewrite: false
flang/lib/semantics/check-declarations.cc
flang/test/semantics/CMakeLists.txt
flang/test/semantics/resolve15.f90
flang/test/semantics/resolve53.f90
flang/test/semantics/resolve65.f90 [new file with mode: 0644]