Update cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll

MathiasVP · Dave Bartolomeo · web-flow · commit fa26eed3e25a · 2020-09-02T22:29:38.000+02:00
Co-authored-by: Dave Bartolomeo &lt;dbartol@github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_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)
