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

Co-authored-by: Dave Bartolomeo <dbartol@github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2020-09-02 22:29:28 +02:00
committed by GitHub
parent 7f5f6b15f7
commit 428bcc5e03

View File

@@ -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)