[all-commits] [llvm/llvm-project] 4ef24a: [SSAF][SourceTransformation] Add transformation fo...

[Ziqing Luo via All-commits]

  Branch: refs/heads/users/ziqingluo/PR-187125348-4
  Home:   https://github.com/llvm/llvm-project
  Commit: 4ef24aceb646d8900261d7ada6bf5b8a628d621a
      https://github.com/llvm/llvm-project/commit/4ef24aceb646d8900261d7ada6bf5b8a628d621a
  Author: Ziqing Luo <ziqing_luo at apple.com>
  Date:   2026-09-13 (Sun, 13 Sep 2026)

  Changed paths:
    M clang/lib/ScalableStaticAnalysis/SourceTransformation/Transformations/CppBoundedBuffers.cpp
    M clang/unittests/ScalableStaticAnalysis/SourceTransformation/CppBoundedBuffersTest.cpp

  Log Message:
  -----------
  [SSAF][SourceTransformation] Add transformation for new[] and malloc

For a PointerFlowPair, if RHS is an array-new or malloc call and LHS
has bounded type, transform RHS to the bounded-producing alternative
to new[]/malloc.

4th step of
rdar://187125348



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