SSA: Add some qldoc.

github · Mar 4, 2025 · 6c89602 · 6c89602
1 parent f5eb2d9
commit 6c89602
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/shared/ssa/codeql/ssa/Ssa.qll b/shared/ssa/codeql/ssa/Ssa.qll
@@ -1610,6 +1610,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
 
       SsaDefinitionExtNodeImpl() { this = TSsaDefinitionNode(def) }
 
+      /** Gets the corresponding `DefinitionExt`. */
       DefinitionExt getDefExt() { result = def }
 
       deprecated override DefinitionExt getDefinitionExt() { result = def }
@@ -1925,6 +1926,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
         this = TRefPhiRead(_, result)
       }
 
+      /** Holds if this reference is a synthesized phi read. */
       predicate isPhiRead() { this = TRefPhiRead(_, _) }
 
       /** Gets a textual representation of this SSA reference. */