Go: migrate control flow graph to shared CFG library#21614

Draft

Copilot wants to merge 34 commits into

mainfrom

copilot/vscode-mndb17m3-9fpv

Commits on May 21, 2026

The shared CFG library instantiation for Go compiles cleanly. Let me show you the current state of the file:
owen-mc
committed
Phase 1 — Complete. The shared CFG library is now instantiated and wired into Go:
owen-mc
committed
All 90 queries compile cleanly. Here's the status:
owen-mc
committed
Checkpoint from VS Code for cloud agent session
owen-mc
committed
Continue shared CFG library migration: fix prologue/epilogue, implicit fields, cleanup

Copilot
and
owen-mc
committed
Fix overlay annotation in ControlFlowGraphShared.qll

Copilot
and
owen-mc
committed
Fix compiler errors and warnings: remove redundant type checks and isIn guards, mark implicitFieldSelection as additional

Copilot
and
owen-mc
committed
Add File as a CFG root to support file-level declarations

Copilot
and
owen-mc
committed
Add missing QLdoc comments to IR.qll classes, predicates, and newtype branches

Copilot
and
owen-mc
committed
Fix shared Go CFG expression and return-edge regressions

Copilot
and
owen-mc
committed
Add GotoStmt, Parameter, Throw, Assignment and PatternMatchExpr to Go Ast module for updated shared CFG AstSig

Copilot
and
owen-mc
committed
Fix overlay annotation in PrintAst.qll
owen-mc
committed
Add go/print-cfg
owen-mc
committed
Create cfg node for child of ParenExpr
owen-mc
committed
Model non-returning functions in CFG
owen-mc
committed
Tweak `getEnclosingCallable`
owen-mc
committed
Fix edges to function exit with result variables
owen-mc
committed
Do not include comments in the CFG
owen-mc
committed
Use shared CFG implementation of for loops
owen-mc
committed
Fix CFG for select statements
owen-mc
committed

Commits on May 28, 2026