From c316d51d4124cbf96f35b6a680c4938a2bbbef6c Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Tue, 27 Jan 2026 11:03:01 +0000
Subject: [PATCH] Add `ConditionGuardNode.getOutcome`

---
 go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll
index 1e66bc61dc4..355f98a705b 100644
--- a/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll
+++ b/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll
@@ -313,6 +313,9 @@ module ControlFlow {
      */
     Expr getCondition() { result = cond }
 
+    /** Gets the value of the condition that this node corresponds to. */
+    boolean getOutcome() { result = outcome }
+
     override Root getRoot() { result.isRootOf(cond) }
 
     override string toString() { result = cond + " is " + outcome }