Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll

hvitved · geoffw0 · web-flow · commit cb1ca4c75cff · 2024-10-08T13:41:24.000+02:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll b/rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll
@@ -62,7 +62,7 @@ abstract class ConditionalCompletion extends NormalCompletion {
   abstract ConditionalCompletion getDual();
 }
 
-/** Holds if node `n` has the Boolean constant value `value`. */
+/** Holds if node `le` has the Boolean constant value `value`. */
 private predicate isBooleanConstant(LiteralExpr le, Boolean value) {
   le.getTextValue() = value.toString()
 }

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ abstract class ConditionalCompletion extends NormalCompletion {`
`62`	`62`	`abstract ConditionalCompletion getDual();`
`63`	`63`	`}`
`64`	`64`
`65`		-/** Holds if node `n` has the Boolean constant value `value`. */
	`65`	+/** Holds if node `le` has the Boolean constant value `value`. */
`66`	`66`	`private predicate isBooleanConstant(LiteralExpr le, Boolean value) {`
`67`	`67`	`le.getTextValue() = value.toString()`
`68`	`68`	`}`