Accidental removal of an and.

bdrodes · bdrodes · commit 5b0a3dcdbe2d · 2024-02-16T10:15:21.000-05:00
diff --git a/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql b/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql
@@ -95,7 +95,8 @@ predicate isNonConst(DataFlow::Node node) {
     |
       node = callOutput(call, output)
     )
-  ) not exists(Call c |
+  ) and
+  not exists(Call c |
     c.getTarget().hasDefinition() and
     if node instanceof DataFlow::DefinitionByReferenceNode
     then c.getAnArgument() = node.asDefiningArgument()

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,8 @@ predicate isNonConst(DataFlow::Node node) {`
`95`	`95`	`\|`
`96`	`96`	`node = callOutput(call, output)`
`97`	`97`	`)`
`98`		`- ) not exists(Call c \|`
	`98`	`+ ) and`
	`99`	`+ not exists(Call c \|`
`99`	`100`	`c.getTarget().hasDefinition() and`
`100`	`101`	`if node instanceof DataFlow::DefinitionByReferenceNode`
`101`	`102`	`then c.getAnArgument() = node.asDefiningArgument()`