[all-commits] [llvm/llvm-project] 3ef102: [SSAF][PointerFlowExtractor] Handle empty initiali...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3ef102be08a0b9c3bd948e651d70f36dc73cc5ae
      https://github.com/llvm/llvm-project/commit/3ef102be08a0b9c3bd948e651d70f36dc73cc5ae
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-06-11 (Thu, 11 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 (#201968)

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

---------

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