[all-commits] [llvm/llvm-project] 2b9a8e: [SSAF] Increase Expr kind coverage in EntityPointe...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2b9a8e2d76e1d99f95a13f70dc619dc679187432
      https://github.com/llvm/llvm-project/commit/2b9a8e2d76e1d99f95a13f70dc619dc679187432
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-06-09 (Tue, 09 Jun 2026)

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

  Log Message:
  -----------
  [SSAF] Increase Expr kind coverage in EntityPointerLevelTranslator (#197568)

- Add support for more kinds of Expr that can be translated to
EntityPointerLevel(s).
- Additionally, fix bugs in PointerFlowExtractor discovered by tests
added for the new Expr kinds.



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