C++: Sync files after Copilot suggestion.

MathiasVP · MathiasVP · commit 0d5f4428b376 · 2025-08-02T16:47:51.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_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() {
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/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() {`