C++: Fix query formatting

jketema · jketema · commit 86df424fca64 · 2023-06-05T15:10:54.000+02:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
@@ -385,7 +385,7 @@ where
       hasFlowPath(source, sink, source3, pai, operation, k3) and
       invalidPointerToDerefSource(pai, source3.getNode(), k2)
     |
-       k2 + k3
+      k2 + k3
     ) and
   offset = pai.getRight().getUnconvertedResultExpression() and
   n = source.asPathNode1().getNode() and

Original file line number	Diff line number	Diff line change
`@@ -385,7 +385,7 @@ where`
`385`	`385`	`hasFlowPath(source, sink, source3, pai, operation, k3) and`
`386`	`386`	`invalidPointerToDerefSource(pai, source3.getNode(), k2)`
`387`	`387`	`\|`
`388`		`- k2 + k3`
	`388`	`+ k2 + k3`
`389`	`389`	`) and`
`390`	`390`	`offset = pai.getRight().getUnconvertedResultExpression() and`
`391`	`391`	`n = source.asPathNode1().getNode() and`