Unified: Add flow through calls (static calls only) - #22611

Draft

asgerf wants to merge 27 commits into

github:mainfrom

asgerf:unified/call-graph-static

Commits on Sep 19, 2026

unified: Make data flow tests valid
asgerf
committed
043701d
unified: Add some basic call graph tests
asgerf
committed
ec82b66
unified: Add ParameterPosition
asgerf
committed
11c7858
unified: Add DataFlowCall and DataFlowCallable
asgerf
committed
724807f
unified: ParameterNode, ArgumentNode, OutNode
asgerf
committed
80f557a
unified: Add basic call graph
asgerf
committed
0395232
unified: Fix CFG node associated with parameter assignment
asgerf
committed
9da74ef
unified: Populate external name when parameter has only one name
asgerf
committed
f098a84
unified: Update data flow test output
asgerf
committed
43aa59f
unified: Update BasicTest output after duplicating parameter name
asgerf
committed
6aca722
unified: Insert post-updates for call arguments
asgerf
committed
76c39b6
unified: Avoid stepping into post-update nodes
asgerf
committed
f4f7e69
unified: Add call graph stats
asgerf
committed
4ebd5f7
unified: Add canonical receiver parameter
asgerf
committed
a9340a8
unified: Also add getEnclosingCallableEx
asgerf
committed
e1326fd
unified: Add receiver argument node
asgerf
committed
82ed701
unified: Link up receiver argument/parameter
asgerf
committed
25baa0b
unified: Refactor first column in performsVariableAccess
asgerf
committed
8f2b812
unified: Store the receiver in 'self'
asgerf
committed
2e3081e
unified: Wire up call receiver
asgerf
committed
6acf683
unified: Ensure implicit 'self' has a post-update
asgerf
committed
29499de
unified: Add test
asgerf
committed
1175f84
unified: Add 8 combinations of implicit/explicit self
asgerf
committed
10bcc25
unified: Move some variables into fields
asgerf
committed
414c86c
unified: Fix getEnclosingCallable for LocalVariableRef
asgerf
committed
9494c90
unified: Exclude calls in pattern context
asgerf
committed
f144d38
unified: Tolerate missing post-updates in unreachable code
asgerf
committed
832dfb4

Navigation Menu

Unified: Add flow through calls (static calls only) - #22611

Unified: Add flow through calls (static calls only)#22611
asgerf wants to merge 27 commits into
github:mainfrom
asgerf:unified/call-graph-static

Commits on Sep 19, 2026

unified: Make data flow tests valid

unified: Add some basic call graph tests

unified: Add ParameterPosition

unified: Add DataFlowCall and DataFlowCallable

unified: ParameterNode, ArgumentNode, OutNode

unified: Add basic call graph

unified: Fix CFG node associated with parameter assignment

unified: Populate external name when parameter has only one name

unified: Update data flow test output

unified: Update BasicTest output after duplicating parameter name

unified: Insert post-updates for call arguments

unified: Avoid stepping into post-update nodes

unified: Add call graph stats

unified: Add canonical receiver parameter

unified: Also add getEnclosingCallableEx

unified: Add receiver argument node

unified: Link up receiver argument/parameter

unified: Refactor first column in performsVariableAccess

unified: Store the receiver in 'self'

unified: Wire up call receiver

unified: Ensure implicit 'self' has a post-update

unified: Add test

unified: Add 8 combinations of implicit/explicit self

unified: Move some variables into fields

unified: Fix getEnclosingCallable for LocalVariableRef

unified: Exclude calls in pattern context

unified: Tolerate missing post-updates in unreachable code