[all-commits] [llvm/llvm-project] 53e1c9: [SSAF][PointerFlowExtractor] Handle empty initiali...

[Ziqing Luo via All-commits]

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

  Changed paths:
    M clang/lib/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowExtractor.cpp
    M clang/unittests/ScalableStaticAnalysisFramework/Analyses/PointerFlow/PointerFlowTest.cpp

  Log Message:
  -----------
  [SSAF][PointerFlowExtractor] Handle empty initializer lists for scalars and unions

Empty initializer lists for scalars and unions are corner cases that
were previously missed by the PointerFlowExtractor. This commit adds
support for these cases. Because the initializing values are
implicitly constant 0 (or nullptr), they do not bridge entity pointer
levels.

rdar://178856689



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