[flang-commits] [flang] [Flang] Preserve restricted specific intrinsic designators (PR #227359)

[via flang-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-flang-semantics

Author: nudt_yixiao (keepyixiao)

<details>
<summary>Changes</summary>

Restricted specific intrinsic procedures were rejected while building a procedure designator, preventing later semantic checks from diagnosing invalid procedure pointer assignments.

Preserve the procedure designator after issuing the existing diagnostic so that subsequent semantic checks can continue and report the appropriate pointer assignment error.

Add regression coverage for procedure pointer assignment to a restricted specific intrinsic.

Fixes https://github.com/llvm/llvm-project/issues/220950

---
Full diff: https://github.com/llvm/llvm-project/pull/227359.diff


3 Files Affected:

- (modified) flang/lib/Semantics/expression.cpp (+7-2) 
- (modified) flang/test/Semantics/assign09.f90 (+3) 
- (modified) flang/test/Semantics/resolve46.f90 (+13) 


``````````diff
The server is unavailable at this time. Please wait a few minutes before you try again.
``````````

</details>


https://github.com/llvm/llvm-project/pull/227359