C++/C#: Sync identical files

Author: MathiasVP

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll

@@ -1964,7 +1964,7 @@ class ChiInstruction extends Instruction {
   final Instruction getPartial() { result = getPartialOperand().getDef() }
 
   /**
-   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`.
+   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`, relative to the start address of the total operand.
    */
   final predicate getUpdatedInterval(int startBit, int endBit) {
     Construction::getIntervalUpdatedByChi(this, startBit, endBit)

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll

@@ -331,7 +331,7 @@ class NonPhiMemoryOperand extends NonPhiOperand, MemoryOperand, NonPhiMemoryOper
 
   /**
    * Holds if the operand totally overlaps with its definition and consumes the
-   * bit range `[startBitOffset, endBitOffset)`.
+   * bit range `[startBitOffset, endBitOffset)` relative to the start address of the definition.
    */
   predicate getUsedInterval(int startBitOffset, int endBitOffset) {
     Construction::getUsedInterval(this, startBitOffset, endBitOffset)

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll

@@ -1964,7 +1964,7 @@ class ChiInstruction extends Instruction {
   final Instruction getPartial() { result = getPartialOperand().getDef() }
 
   /**
-   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`.
+   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`, relative to the start address of the total operand.
    */
   final predicate getUpdatedInterval(int startBit, int endBit) {
     Construction::getIntervalUpdatedByChi(this, startBit, endBit)

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll

@@ -331,7 +331,7 @@ class NonPhiMemoryOperand extends NonPhiOperand, MemoryOperand, NonPhiMemoryOper
 
   /**
    * Holds if the operand totally overlaps with its definition and consumes the
-   * bit range `[startBitOffset, endBitOffset)`.
+   * bit range `[startBitOffset, endBitOffset)` relative to the start address of the definition.
    */
   predicate getUsedInterval(int startBitOffset, int endBitOffset) {
     Construction::getUsedInterval(this, startBitOffset, endBitOffset)

csharp/ql/src/experimental/ir/implementation/raw/Instruction.qll

@@ -1964,7 +1964,7 @@ class ChiInstruction extends Instruction {
   final Instruction getPartial() { result = getPartialOperand().getDef() }
 
   /**
-   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`.
+   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`, relative to the start address of the total operand.
    */
   final predicate getUpdatedInterval(int startBit, int endBit) {
     Construction::getIntervalUpdatedByChi(this, startBit, endBit)

csharp/ql/src/experimental/ir/implementation/raw/Operand.qll

@@ -331,7 +331,7 @@ class NonPhiMemoryOperand extends NonPhiOperand, MemoryOperand, NonPhiMemoryOper
 
   /**
    * Holds if the operand totally overlaps with its definition and consumes the
-   * bit range `[startBitOffset, endBitOffset)`.
+   * bit range `[startBitOffset, endBitOffset)` relative to the start address of the definition.
    */
   predicate getUsedInterval(int startBitOffset, int endBitOffset) {
     Construction::getUsedInterval(this, startBitOffset, endBitOffset)

csharp/ql/src/experimental/ir/implementation/unaliased_ssa/Instruction.qll

@@ -1964,7 +1964,7 @@ class ChiInstruction extends Instruction {
   final Instruction getPartial() { result = getPartialOperand().getDef() }
 
   /**
-   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`.
+   * Gets the bit range `[startBit, endBit)` updated by the partial operand of this `ChiInstruction`, relative to the start address of the total operand.
    */
   final predicate getUpdatedInterval(int startBit, int endBit) {
     Construction::getIntervalUpdatedByChi(this, startBit, endBit)

csharp/ql/src/experimental/ir/implementation/unaliased_ssa/Operand.qll

@@ -331,7 +331,7 @@ class NonPhiMemoryOperand extends NonPhiOperand, MemoryOperand, NonPhiMemoryOper
 
   /**
    * Holds if the operand totally overlaps with its definition and consumes the
-   * bit range `[startBitOffset, endBitOffset)`.
+   * bit range `[startBitOffset, endBitOffset)` relative to the start address of the definition.
    */
   predicate getUsedInterval(int startBitOffset, int endBitOffset) {
     Construction::getUsedInterval(this, startBitOffset, endBitOffset)