From db5fac17bff831a8cec468658f201fed3ca07ee2 Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Thu, 18 Jun 2026 14:52:57 +0100
Subject: [PATCH] Add QLDoc to MakeSsa to silence CI

---
 shared/ssa/codeql/ssa/Ssa.qll | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/shared/ssa/codeql/ssa/Ssa.qll b/shared/ssa/codeql/ssa/Ssa.qll
index 861f797ed6d..b8fe058bc0f 100644
--- a/shared/ssa/codeql/ssa/Ssa.qll
+++ b/shared/ssa/codeql/ssa/Ssa.qll
@@ -993,6 +993,11 @@ module Make<
     predicate explicitWrite(VariableWrite w, BasicBlock bb, int i, SourceVariable v);
   }
 
+  /**
+   * Builds the user-facing SSA API (the `SsaSig` class hierarchy and associated
+   * predicates) on top of the core SSA construction, using the language-specific
+   * expressions, parameters, and writes provided by `SsaInput`.
+   */
   module MakeSsa<SsaInputSig SsaInput> implements
     SsaSig<Location, ControlFlowNode, BasicBlock, SsaInput::Expr, SsaInput::Parameter, SsaInput::VariableWrite>
   {