Update cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll

MathiasVP · Copilot · web-flow · commit bb103ffa7a86 · 2025-08-02T16:39:55.000+01:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll
@@ -51,7 +51,7 @@ newtype TValueNumber =
  *
  * Generally, the value number of a converted value is different from the value
  * number of an unconverted value, but for conversions which only modify
- * specifiers leaves the resulting value bitwise identical to the old value.
+ * specifiers leave the resulting value bitwise identical to the old value.
  */
 class SpecifierPreservingConvertInstruction extends ConvertInstruction {
   SpecifierPreservingConvertInstruction() {

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ newtype TValueNumber =`
`51`	`51`	`*`
`52`	`52`	`* Generally, the value number of a converted value is different from the value`
`53`	`53`	`* number of an unconverted value, but for conversions which only modify`
`54`		`- * specifiers leaves the resulting value bitwise identical to the old value.`
	`54`	`+ * specifiers leave the resulting value bitwise identical to the old value.`
`55`	`55`	`*/`
`56`	`56`	`class SpecifierPreservingConvertInstruction extends ConvertInstruction {`
`57`	`57`	`SpecifierPreservingConvertInstruction() {`