Repository navigation

Unified: Add data flow support for getters and setters - #22896

Merged

asgerf merged 38 commits into

github:mainfrom

asgerf:unified/accessors

Oct 29, 2026

Merged

Unified: Add data flow support for getters and setters#22896
asgerf merged 38 commits into
github:mainfrom
asgerf:unified/accessors

Commits on Oct 27, 2026
- unified: Add tests with accessors
  asgerf
  committed
  6a46da4
- unified: Allow accessors to be seen as instance members
  asgerf
  committed
  6270fad
- unified: Add DataFlowCalls for getter and setter calls
  asgerf
  committed
  3fcfb68
- unified: Resolve calls statically
  asgerf
  committed
  61a102c
- unified: Add out-node from getter calls
  asgerf
  committed
  f1f4d84
- unified: Synthesize setter parameters and return type in accessors
  asgerf
  committed
  82487f8
- unified: Pass the incoming value into setter calls
  asgerf
  committed
  5dec1dc
- unified: Ensure 'static' modifier is preserved for accessors
  asgerf
  committed
  c7c80a7
- unified: Add MemberAccess as union of MemberAccessExpr and UnqualifiedMemberAccess
  asgerf
  committed
  32979b2
- unified: Also resolve accessors on instances
  asgerf
  committed
  364e982
- unified: Make accessors introduce LocalVariables too
  asgerf
  committed
  9da580f
- unified: Handle capturing local getters/setters
  asgerf
  committed
  34de910
- unified: Propagate receiver argument into accessor calls
  asgerf
  committed
  5c9942f
- unified: Allow self-return via receiver parameter
  asgerf
  committed
  b348803
- unified: Add more capture tests
  asgerf
  committed
  edc465e
- unified: Add test with chain of accessors
  asgerf
  committed
  6444d0b
- unified: Split up hasControlFlowPosition()
  asgerf
  committed
  4bd9473
- unified: Associate CFG nodes with implicit getter/setter arguments
  asgerf
  committed
  a808fde
- unified: Use hasControlFlowPosition in CaptureSsa
  asgerf
  committed
  3f7735f
- unified: Move ad-hoc aliasing logic into a step
  asgerf
  committed
  d0d1363
- unified: Add basic escape
  asgerf
  committed
  e3883da
- unified: Update nodes/edges in test output
  asgerf
  committed
  09fb8f1
- unified: Tolerate missing post-update for RHS
  asgerf
  committed
  b084467
- unified: Add test for explicitly-named setter parameter
  asgerf
  committed
  1cc99d5
- Update isEscape predicate to include incoming values
  
  asgerf
  and
  Copilot
  committed
  612c241
- unified: Add test for receiver updates from getter reads
  
  asgerf
  and
  Copilot
  committed
  ac8adee
- unified: Simple fix for getter calls missing post update node
  asgerf
  committed
  6741896
- unified: More precise CFG node for implicit setter arguments
  asgerf
  committed
  4a510f7
- unified: Support setter calls from writebacks
  asgerf
  committed
  ed70ef4
- unified: Add a hook for writebacks
  asgerf
  committed
  fcf39ec
- unified: Test that writebacks after a mutating call works
  asgerf
  committed
  3769c46
Commits on Oct 28, 2026
- unified: Be more precise about writebacks
  asgerf
  committed
  0d1b4b9
- unified: Remove superfluous forwarding-predicate
  asgerf
  committed
  405e322
- Enhance step function to include valueMustFlow check
  
  asgerf
  and
  Copilot
  committed
  bd2d5a4
- unified: Exclude UnqualifiedMemberAccess in fallback
  asgerf
  committed
  388acff
- unified: Fix bad join
  asgerf
  committed
  88c4786
Commits on Oct 29, 2026
- unified: Hide generated nodes
  asgerf
  committed
  8ebaab9
- unified: Move mayWriteBackViaSetterCall into swift plugin
  asgerf
  committed
  1bb7125

Commits

Commits on Oct 27, 2026

Commits on Oct 28, 2026

Commits on Oct 29, 2026