Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

MathiasVP · jketema · web-flow · commit 459bb6ed04b6 · 2024-11-15T14:43:04.000Z
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
@@ -972,7 +972,7 @@ private predicate isRelevantUnaryComparisonOperand(Operand op) {
     op = copy.getSourceValueOperand()
   )
   or
-  // If phi(x1, x2) is a relevant unary comparison then so is `x1` and `x2`.
+  // If phi(x1, x2) is a relevant unary comparison then so are `x1` and `x2`.
   not op.isDefinitionInexact() and
   exists(PhiInstruction phi |
     isRelevantUnaryComparisonOperand(unique( | | phi.getAUse())) and

Original file line number	Diff line number	Diff line change
`@@ -972,7 +972,7 @@ private predicate isRelevantUnaryComparisonOperand(Operand op) {`
`972`	`972`	`op = copy.getSourceValueOperand()`
`973`	`973`	`)`
`974`	`974`	`or`
`975`		- // If phi(x1, x2) is a relevant unary comparison then so is `x1` and `x2`.
	`975`	+ // If phi(x1, x2) is a relevant unary comparison then so are `x1` and `x2`.
`976`	`976`	`not op.isDefinitionInexact() and`
`977`	`977`	`exists(PhiInstruction phi \|`
`978`	`978`	`isRelevantUnaryComparisonOperand(unique( \| \| phi.getAUse())) and`