C++: Fix qldoc.

MathiasVP · MathiasVP · commit 671954025dec · 2022-01-06T11:02:15.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -64,7 +64,7 @@ private class DefOrUse extends TDefOrUse {
   /** Gets the block of this definition or use. */
   abstract IRBlock getBlock();
 
-  /** Holds if this definition or use has rank `rank` in block `block`. */
+  /** Holds if this definition or use has index `index` in block `block`. */
   final predicate hasIndexInBlock(IRBlock block, int index) {
     block.getInstruction(index) = toInstruction(this)
   }

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ private class DefOrUse extends TDefOrUse {`
`64`	`64`	`/** Gets the block of this definition or use. */`
`65`	`65`	`abstract IRBlock getBlock();`
`66`	`66`
`67`		- /** Holds if this definition or use has rank `rank` in block `block`. */
	`67`	+ /** Holds if this definition or use has index `index` in block `block`. */
`68`	`68`	`final predicate hasIndexInBlock(IRBlock block, int index) {`
`69`	`69`	`block.getInstruction(index) = toInstruction(this)`
`70`	`70`	`}`