[all-commits] [llvm/llvm-project] aa4cf5: Merge branch 'users/ziqingluo/ssaf-extractor-impro...

[Ziqing Luo via All-commits]

  Branch: refs/heads/users/ziqingluo/PR-179150798
  Home:   https://github.com/llvm/llvm-project
  Commit: aa4cf513498cfb739b27764b0d60a714e664cc48
      https://github.com/llvm/llvm-project/commit/aa4cf513498cfb739b27764b0d60a714e664cc48
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-06-16 (Tue, 16 Jun 2026)

  Changed paths:
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowExtractor.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/SSAFAnalysesCommon.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageExtractor.cpp
    M clang/unittests/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowTest.cpp
    M clang/unittests/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageTest.cpp
    M clang/unittests/ScalableStaticAnalysisFramework/FindDecl.h

  Log Message:
  -----------
  Merge branch 'users/ziqingluo/ssaf-extractor-improve' of github.com:llvm/llvm-project

 Conflicts:
	clang/unittests/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowTest.cpp
	clang/unittests/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageTest.cpp


  Commit: aa8f7845cec93b3762cc93524ff764fefd118531
      https://github.com/llvm/llvm-project/commit/aa8f7845cec93b3762cc93524ff764fefd118531
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-06-17 (Wed, 17 Jun 2026)

  Changed paths:
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowExtractor.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/SSAFAnalysesCommon.cpp
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/SSAFAnalysesCommon.h
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsageExtractor.cpp
    A clang/test/Analysis/Scalable/PointerFlow/benign-entity-name-conflict.cpp
    A clang/test/Analysis/Scalable/PointerFlow/multi-decl-contributor.cpp

  Log Message:
  -----------
  [SSAF] Properly handle contributors with multiple declarations

A contributor entity can have multiple declarations all contributing
interesting facts. For example, a function declaration (not
definition) may have default arguments, which may provide pointer flow
or unsafe buffer usage facts. This commit groups declarations by their
canonical decls. The entity summary of a contributor will be
collected from all its decls.

In addition, this commit includes the following minor changes:
- Factor the common procedure of summary extraction and insertion
  into a template function in SSAFAnalysesCommon.h.
- Convert the no-duplicate contributor assertion into a debug
  warning. In corner cases, there might be an EntityName conflict on
  distinct entities. Sometimes, just keeping one of those entities is
  fine (see benign-entity-name-conflict.cpp). More importantly, we
  need the release build to not crash.

rdar://179150798


Compare: https://github.com/llvm/llvm-project/compare/aa4cf513498c%5E...aa8f7845cec9

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