Go: use shared SSA library (codeql.ssa.Ssa) - #21554

Merged

owen-mc merged 14 commits into

mainfrom

copilot/make-go-use-ssa-library

Jun 19, 2026

Commits on Jun 12, 2026

Preemptively change `toString()` for SSA classes
owen-mc
committed
0b493c3
Initial plan

Copilot
authored and
owen-mc
committed
7a991e1
Improve SSA tests for variables in closures
owen-mc
committed
7a5219f
Make Go use the shared SSA library (codeql.ssa.Ssa)

Copilot
and
owen-mc
committed
6ccbf16
Fix captured variable liveness
owen-mc
committed
0e902d0
Test changes to investigate
owen-mc
committed
0dc95de
Delete unused predicate (leftover from old implementation)
owen-mc
committed
99538f0

Commits on Jun 18, 2026

Remove change note
owen-mc
committed
7222f1d
Use module already provided by BasicBlocks lib
owen-mc
committed
f04c8cc
Rename `mayCapture` to `mayUpdateCapturedVariable`
owen-mc
committed
8c07e95
Merge branch 'main' into copilot/make-go-use-ssa-library
owen-mc
authored
2d34b0b
Merge branch 'main' into copilot/make-go-use-ssa-library
henrymercer
authored
4e7e363
Update expected data flow consistency results
owen-mc
committed
fc06aa1
Add QLDoc to MakeSsa to silence CI
owen-mc
committed
db5fac1