[all-commits] [llvm/llvm-project] e33127: [SSAF][SourceEdit] The last patch of expression re...

[Ziqing Luo via All-commits]

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

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

  Log Message:
  -----------
  [SSAF][SourceEdit] The last patch of expression rewrite rules for the initial version

Add a list of rewrite rules:

- '&var'/'&member' is rewritten to 'addr_of(var)', if it needs to have
  bounded type;
- 'this' is rewritten to 'make_single(this)', if it needs to have
  bounded type;
- A non-empty list-initializer flowing into a bounded_array LHS gets an
  extra '{...}' layer;
- A union with a transformed variant member gets a '= {}' default
  initializer added to one member, if necessary;
- 'delete e' gets '.data()' appended to 'e' when its base is
  transformed.

Final step of
rdar://187125348



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