Skip to content

Commit d091d62

Browse files
owen-mcCopilot
owen-mc
and
Copilot
committed
Document Go shared guard migration
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
1 parent 3a0d29b commit d091d62

2 files changed

Lines changed: 8 additions & 0 deletions

File tree

‎go/ql/lib/change-notes/2026-08-17-deprecate-condition-guard-node.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: deprecated
3+
---
4+
* `ControlFlow::ConditionGuardNode` is now deprecated. Use the API from `semmle.go.controlflow.Guards` instead.

‎go/ql/lib/change-notes/2026-08-17-shared-guards.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: feature
3+
---
4+
* The Go language library now instantiates the shared library `semmle.go.controlflow.Guards`, including the `Guard` and `GuardValue` classes and the `guardEnsures`, `guardEnsuresEq`, `guardEnsuresNeq`, and `guardEnsuresLeq` predicates.

0 commit comments

Comments
 (0)