[all-commits] [llvm/llvm-project] 0bb7ad: [SSAF] Let function parameters inherit linkage fro...

[Ziqing Luo via All-commits]

  Branch: refs/heads/users/ziqing/PR-178844032
  Home:   https://github.com/llvm/llvm-project
  Commit: 0bb7ad1c4c46367b62fe7c08cf3a78c4dbde7a91
      https://github.com/llvm/llvm-project/commit/0bb7ad1c4c46367b62fe7c08cf3a78c4dbde7a91
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-06-05 (Fri, 05 Jun 2026)

  Changed paths:
    M clang/include/clang/ScalableStaticAnalysisFramework/Core/Model/EntityLinkage.h
    M clang/lib/ScalableStaticAnalysisFramework/Core/TUSummary/TUSummaryExtractor.cpp
    A clang/test/Analysis/Scalable/PointerFlow/external-inline-function-in-multi-tu.test
    M clang/unittests/ScalableStaticAnalysisFramework/TUSummaryBuilderTest.cpp

  Log Message:
  -----------
  [SSAF] Let function parameters inherit linkage from their parent functions

SSAF treats parameters as entities and may not always associate them
back to their parent functions. Therefore, it needs to identify
parameters of functions with external linkage across different
TUs. Treating them as having no linkage (as in C++) causes the same
parameter in different TUs to be assigned different EntityIDs. As a
result, the behavior of the parameter across multiple TUs cannot be
correlated.

rdar://178844032



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications