变更摘要

本 PR 回移 GCC 上游修复（PR fortran/125430），核心目标是解决 Fortran 子模块无法通过 host association 调用父模块中 PRIVATE module procedure 的链接问题。改动主要集中在 gcc/fortran/trans-decl.cc 的 build_function_decl：对于定义在 module CONTAINS 段中的 procedure，为其设置全局链接属性 TREE_PUBLIC；若该 procedure 为 PRIVATE，再设置 VISIBILITY_HIDDEN 及 VISIBILITY_SPECIFIED，使符号可在同一链接单元内被子模块解析，同时不会作为公开符号导出。这一处理与 GCC 对 PRIVATE module variable 的既有逻辑保持一致。测试方面新增了子模块运行时用例，并同步调整了多个既有测试的汇编/树转储预期。

主要改动

• build_function_decl 新增 module CONTAINS procedure 识别：通过 sym->module && sym->ns->proc_name && sym->ns->proc_name->attr.flavor == FL_MODULE 计算 in_module_contains，使 module 内定义的过程即使为 PRIVATE 也能进入设置 TREE_PUBLIC 的分支。
• 为 PRIVATE module procedure 设置隐藏可见性：在 TREE_PUBLIC (fndecl) = 1 后，对 in_module_contains 且 ACCESS_PRIVATE 且非 public_used 的函数设置 DECL_VISIBILITY (fndecl) = VISIBILITY_HIDDEN 和 DECL_VISIBILITY_SPECIFIED (fndecl) = true，保证符号可被子模块引用但不会导出到外部动态库。
• 新增子模块宿主关联运行时测试：submodule_private_host.f90 定义 private 的 priv 函数及 public 的 pub 模块过程接口，submodule_private_host_aux.f90 在子模块中通过 host association 调用 priv(6) 并校验结果，覆盖独立翻译单元下的链接场景。
• 调整既有 scan-assembler-not 预期为 XFAIL：在 public_private_module_2.f90、public_private_module_7.f90、public_private_module_8.f90 中，将原本预期 PRIVATE procedure 符号不出现的检查改为 { xfail *-*-* }，以反映符号现在具有 TREE_PUBLIC + VISIBILITY_HIDDEN 属性而不再被移除。
• 同步更新树转储与告警相关测试：module_private_2.f90 移除了 scan-tree-dump-times "priv" 0 检查（该函数不再被优化删除），warn_unused_function_2.f90 取消了对 s1 的 defined but not used 告警预期。

代码审查

✅ 未发现问题

Welcome To openEuler Community

Hey @qq_56722097 , thanks for your contribution to the community.

Bot Usage Manual

I'm the Bot here serving you. You can find the instructions on how to interact with me at Here . That means you can comment below every pull request or issue to trigger Bot Commands.

Contact Guide

If you have any questions, please contact the SIG: Compiler ,
and any of the maintainers: @SegFault, @alexanderbill, @cf-zhao, @chenzheng1030, @eastb233, @kuenking111_admin, @li-yancheng, @wangqiang95, @wd-gitcode ,
and any of the committers: @huang-xiaoquan, @huzife, @lin-4682, @xiongzhou4 .

CLA Signature Pass

qq_56722097, thanks for your pull request. All authors of the commits have signed the CLA. 👍

门禁正在运行， 您可以通过以下链接查看实时门禁检查结果.
若您对门禁结果含义不清晰或者遇到问题不知如何解决，可参考门禁指导手册
门禁入口及编码规范检查: multiarch/openeuler/trigger/gcc/104/console

@qq_56722097

一般 Minor

AI 代码审阅

优点

• 补丁目标明确：将 PRIVATE module procedure 的链接属性从“局部可被优化掉”调整为 TREE_PUBLIC + VISIBILITY_HIDDEN，与现有 gfc_finish_var_decl 对 PRIVATE module variable 的处理一致。
• 新增运行时测试 submodule_private_host.f90 / submodule_private_host_aux.f90 能覆盖独立翻译单元中子模块通过 host association 调用父模块 PRIVATE procedure 的核心场景。
• 既有测试预期调整合理：将多处 scan-assembler-not 改为 XFAIL，符合该补丁改变符号发射行为后的实际结果。
• 变更范围集中在 Fortran 前端和测试，没有涉及后端或构建配置，风险相对可控。
• PR 描述中给出了上游提交链接和多组优化级别测试结果，验证比较充分。

变更文件覆盖检查

本次变更不涉及 pom.xml、build.gradle、settings.gradle、YAML、properties、SQL、Dockerfile 等构建或部署配置文件。改动不会影响 Maven/Gradle 依赖解析、打包方式或运行时配置兼容性。

需要修改的问题

未发现明确必须修改的问题。

可优化建议

• Suggestion: 为 VISIBILITY_HIDDEN 行为增加更直接的回归测试。

  • Reason: 新运行时测试只验证了“子模块最终能链接并运行”，但没有验证 PRIVATE module procedure 确实具有 hidden visibility，而不是仅具有普通全局可见性。补丁的核心安全属性之一是“不会导出到外部 DSO”，这一部分目前依赖 XFAIL 和人工推理。
  • Example:

    ! 在 submodule_private_host.f90 的 dg-final 中增加类似检查，
    ! 但需要根据目标平台和现有可见性测试的写法适配：
    ! { dg-final { scan-assembler "__m_MOD_priv" } }
    ! { dg-final { scan-assembler "\\.hidden[ \t]+__m_MOD_priv" { target *-*-linux* } } }
    

    具体目标选择器和汇编片段应参考 GCC 测试套件中已有的 dg-require-visibility 相关用例，避免在非 ELF 平台产生噪声。

• Suggestion: 在 warn_unused_function_2.f90 中为删除 s1 的 dg-warning 补充简短注释。

  • Reason: 该测试原来验证未使用函数警告，现在移除一条预期警告，原因不太直观。后续维护者可能误以为这是测试松弛而回退。
  • Example:

    ! s1 is a PRIVATE module procedure; with this fix it is TREE_PUBLIC
    ! with hidden visibility, so it is no longer diagnosed as unused.
    subroutine s1
    

• Suggestion: module_private_2.f90 删除 priv 的 scan-tree-dump-times "priv" 0 后，可考虑增加一个正向检查。

  • Reason: 只删除负向检查会让测试对符号发射行为失去覆盖。增加正向断言可以固定新的预期行为，避免后续误回归。
  • Example:

    ! 根据实际优化后的 dump 内容选择稳定断言，例如：
    ! { dg-final { scan-tree-dump-times "priv" 1 "optimized" } }
    

    该断言需要结合当前优化级别的实际 dump 验证，避免因内联或名称输出变化导致脆弱。

审阅结论

Severity: 通过

Conclusion: 建议通过

结论说明:

该 PR 是 GCC 上游修复的回移，核心逻辑与既有变量处理一致，改动范围适中，新增测试能够覆盖子模块 host association 问题，既有测试调整也符合新的符号发射行为。未发现编译错误、运行时崩溃、安全绕过或明显功能缺陷，仅提出若干可选测试增强建议。

Review metadata:

• PR: #395
• Latest commit: 3cb0bea8d2ae1fdf72e2ce9a16bb995aaaa879bb
• Changed lines: 83
• Review mode: full
• Reviewed files: 8/8

/lgtm
/approve

Review Code Feedback

• The label lgtm, approved was added to this pull request. It means that wd-gitcode reviewed the code changes. 👋

Tips

• If this pull request is not merged while all conditions are met, comment /check-pr to try again. 😄