Go: Use shared guards library - #22365

Draft

owen-mc wants to merge 31 commits into

github:mainfrom

owen-mc:go/shared-guards

Commits on Aug 17, 2026

Align old CFG node strings with shared library
owen-mc
authored
c06d49f
Improve redundant recover test coverage
owen-mc
authored
467f673
More tests for non-returning functions
owen-mc
authored
cf21a48
Test semantic invalid types in notype test
owen-mc
authored
c904df6
Make KeyValueExpr have the same type as its value
owen-mc
authored
439b8f7
Change mayReturnNormally to mustNotReturnNormally
owen-mc
authored
d3c9d32
Distinguish panic and exit in logrus
owen-mc
authored
0e8f8ee
Model `logrus.Exit` like `os.Exit`
owen-mc
authored
cf74b4b
Update two queries so alert locations don't change
owen-mc
authored
fd7288b
Make synthetic RangeElementExpr during extraction
owen-mc
authored
7c557d4
Switch to using shared CFG library
owen-mc
authored
852dd81
Add go/print-cfg
owen-mc
authored
0cffa75
Add Go CFG consistency query
owen-mc
authored
9ebc55e
fold implicit-one operand into incdec-rhs instruction
owen-mc
authored
d865dce
fold compound-assign write into the compound-rhs instruction
owen-mc
authored
67526ba
drop implicit slice-bound nodes
owen-mc
authored
9a4251f
Merge 'result-init' node into 'result-zero-init'
owen-mc
authored
70dc75c
Fold implicit literal element index into the lit-init node
owen-mc
authored
d5a786f
Fold uninitialised var-decl zero-init and write into one node
owen-mc
authored
a677877
Fold tuple-destructuring extract and write into one node
owen-mc
authored
e895362
Unify result-zero-init and zero-init node kinds
owen-mc
authored
1506ce4
Simplify zero-init code after unifying result-zero-init
owen-mc
authored
dc21afb
Unify incdec-rhs into the compound-rhs node kind
owen-mc
authored
6a79a06
No CFG nodes for subexprs of const exprs
owen-mc
authored
7b31f3a
Add change note
owen-mc
authored
4e52189

Commits on Aug 18, 2026

Go: instantiate the shared guards library

Claude
and
owen-mc
committed
024b4b6
Go: migrate simple ConditionGuardNode uses to the shared guards library

Claude
and
owen-mc
committed
7324e49
Go: migrate remaining ConditionGuardNode uses to the shared guards library

Claude
and
owen-mc
committed
fa22f2c
Go: deprecate ConditionGuardNode

Claude
authored and
owen-mc
committed
fc2cd91
Go: support compound condition guards
owen-mc
committed
4518f8d
Add change note
owen-mc
committed
888eae3

Navigation Menu

Uh oh!

Go: Use shared guards library - #22365

Go: Use shared guards library#22365
owen-mc wants to merge 31 commits into
github:mainfrom
owen-mc:go/shared-guards

Commits on Aug 17, 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

Commits on Aug 18, 2026

Go: instantiate the shared guards library

Go: migrate simple ConditionGuardNode uses to the shared guards library

Go: migrate remaining ConditionGuardNode uses to the shared guards library

Go: deprecate ConditionGuardNode

Go: support compound condition guards

Add change note