Go: migrate control flow graph to shared CFG library #2 - #22182

Open

owen-mc wants to merge 25 commits into

github:mainfrom

owen-mc:go/shared-cfg

Commits on Aug 14, 2026

Align old CFG node strings with shared library
owen-mc
committed
7c4583d
Improve redundant recover test coverage
owen-mc
committed
fbc5b2d
More tests for non-returning functions
owen-mc
committed
ffbb349
Test semantic invalid types in notype test
owen-mc
committed
c5cb6fa
Make KeyValueExpr have the same type as its value
owen-mc
committed
bbbf3ec
Change mayReturnNormally to mustNotReturnNormally
owen-mc
committed
929051e
Distinguish panic and exit in logrus
owen-mc
committed
e2c7da1
Model `logrus.Exit` like `os.Exit`
owen-mc
committed
a9ed53d
Update two queries so alert locations don't change
owen-mc
committed
a562e90
Make synthetic RangeElementExpr during extraction
owen-mc
committed
3ae2a87
Switch to using shared CFG library
owen-mc
committed
f4f1eeb
Add go/print-cfg
owen-mc
committed
19d74bd
Add Go CFG consistency query
owen-mc
committed
2746132
fold implicit-one operand into incdec-rhs instruction
owen-mc
committed
aadfda9
fold compound-assign write into the compound-rhs instruction
owen-mc
committed
bee65c3
drop implicit slice-bound nodes
owen-mc
committed
0ae85a0
Merge 'result-init' node into 'result-zero-init'
owen-mc
committed
91392ea
Fold implicit literal element index into the lit-init node
owen-mc
committed
60c1a6a
Fold uninitialised var-decl zero-init and write into one node
owen-mc
committed
246fc3e
Fold tuple-destructuring extract and write into one node
owen-mc
committed
5c987bc
Unify result-zero-init and zero-init node kinds
owen-mc
committed
0fdd166
Simplify zero-init code after unifying result-zero-init
owen-mc
committed
a6d703a
Unify incdec-rhs into the compound-rhs node kind
owen-mc
committed
6dfa1b4
No CFG nodes for subexprs of const exprs
owen-mc
committed
1cc30d2
Add change note
owen-mc
committed
d302fa7

Navigation Menu

Uh oh!

Go: migrate control flow graph to shared CFG library #2 - #22182

Go: migrate control flow graph to shared CFG library #2#22182
owen-mc wants to merge 25 commits into
github:mainfrom
owen-mc:go/shared-cfg

Commits on Aug 14, 2026

Align old CFG node strings with shared library

Improve redundant recover test coverage

More tests for non-returning functions

Test semantic invalid types in notype test

Make KeyValueExpr have the same type as its value

Change mayReturnNormally to mustNotReturnNormally

Distinguish panic and exit in logrus

Model `logrus.Exit` like `os.Exit`

Update two queries so alert locations don't change

Make synthetic RangeElementExpr during extraction

Switch to using shared CFG library

Add go/print-cfg

Add Go CFG consistency query

fold implicit-one operand into incdec-rhs instruction

fold compound-assign write into the compound-rhs instruction

drop implicit slice-bound nodes

Merge 'result-init' node into 'result-zero-init'

Fold implicit literal element index into the lit-init node

Fold uninitialised var-decl zero-init and write into one node

Fold tuple-destructuring extract and write into one node

Unify result-zero-init and zero-init node kinds

Simplify zero-init code after unifying result-zero-init

Unify incdec-rhs into the compound-rhs node kind

No CFG nodes for subexprs of const exprs

Add change note