SSA: Add qldoc.

aschackmull · aschackmull · commit 5e2c8f270d2e · 2025-02-25T10:20:15.000+01:00
diff --git a/shared/ssa/codeql/ssa/Ssa.qll b/shared/ssa/codeql/ssa/Ssa.qll
@@ -1683,6 +1683,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
 
       SsaDefinitionNodeImpl() { this = TSsaDefinitionNode(def) }
 
+      /** Gets the underlying SSA definition. */
       Definition getDefinition() { result = def }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -1683,6 +1683,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {`
`1683`	`1683`
`1684`	`1684`	`SsaDefinitionNodeImpl() { this = TSsaDefinitionNode(def) }`
`1685`	`1685`
	`1686`	`+ /** Gets the underlying SSA definition. */`
`1686`	`1687`	`Definition getDefinition() { result = def }`
`1687`	`1688`	`}`
`1688`	`1689`