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

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 350f4851d7070757545d65aba54b19b6bfceb6da
      https://github.com/llvm/llvm-project/commit/350f4851d7070757545d65aba54b19b6bfceb6da
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-06-09 (Tue, 09 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 (#201946)

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

---------

Co-authored-by: Balázs Benics <benicsbalazs at gmail.com>



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