Update IRGuards.qll

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2024-11-14 21:28:33 +00:00
committed by GitHub
parent 6e7256f9d4
commit b10696c155

View File

@@ -106,8 +106,8 @@ private class CompareGEValueNumber extends CompareValueNumber {
}
/**
* A value number such that at least one of the instructions is an
* insruction that is used in a `SwitchInstruction`'s expression.
* A value number such that at least one of the instructions provides
* the integer value controlling a `SwitchInstruction`.
*/
private class ScrutineeValueNumber extends ValueNumber {
SwitchInstruction switch;