Add QLDoc to MakeSsa to silence CI

owen-mc · owen-mc · commit db5fac17bff8 · 2026-06-18T14:54:21.000+01:00
diff --git 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>
   {

Original file line number	Diff line number	Diff line change
`@@ -993,6 +993,11 @@ module Make<`
`993`	`993`	`predicate explicitWrite(VariableWrite w, BasicBlock bb, int i, SourceVariable v);`
`994`	`994`	`}`
`995`	`995`
	`996`	`+ /**`
	`997`	+ * Builds the user-facing SSA API (the `SsaSig` class hierarchy and associated
	`998`	`+ * predicates) on top of the core SSA construction, using the language-specific`
	`999`	+ * expressions, parameters, and writes provided by `SsaInput`.
	`1000`	`+ */`
`996`	`1001`	`module MakeSsa<SsaInputSig SsaInput> implements`
`997`	`1002`	`SsaSig<Location, ControlFlowNode, BasicBlock, SsaInput::Expr, SsaInput::Parameter, SsaInput::VariableWrite>`
`998`	`1003`	`{`