C++: Autoformat.

geoffw0 · geoffw0 · commit 7409dd015e04 · 2021-01-11T18:58:32.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
@@ -582,9 +582,7 @@ module TaintedWithPath {
     }
 
     override predicate isBarrier(DataFlow::Node node) {
-      exists(TaintTrackingConfiguration cfg, Expr e |
-        cfg.isBarrier(e) and node = getNodeForExpr(e)
-      )
+      exists(TaintTrackingConfiguration cfg, Expr e | cfg.isBarrier(e) and node = getNodeForExpr(e))
     }
 
     override predicate isBarrierIn(DataFlow::Node node) { nodeIsBarrierIn(node) }

Original file line number	Diff line number	Diff line change
`@@ -582,9 +582,7 @@ module TaintedWithPath {`
`582`	`582`	`}`
`583`	`583`
`584`	`584`	`override predicate isBarrier(DataFlow::Node node) {`
`585`		`- exists(TaintTrackingConfiguration cfg, Expr e \|`
`586`		`- cfg.isBarrier(e) and node = getNodeForExpr(e)`
`587`		`- )`
	`585`	`+ exists(TaintTrackingConfiguration cfg, Expr e \| cfg.isBarrier(e) and node = getNodeForExpr(e))`
`588`	`586`	`}`
`589`	`587`
`590`	`588`	`override predicate isBarrierIn(DataFlow::Node node) { nodeIsBarrierIn(node) }`