C++: Autoformat.

geoffw0 · geoffw0 · commit f2436ff71341 · 2020-05-20T12:39:54.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
@@ -171,7 +171,9 @@ private predicate hasUpperBoundsCheck(Variable var) {
   )
 }
 
-private predicate nodeIsBarrierEqualityCandidate(DataFlow::Node node, Operand access, Variable checkedVar) {
+private predicate nodeIsBarrierEqualityCandidate(
+  DataFlow::Node node, Operand access, Variable checkedVar
+) {
   readsVariable(node.asInstruction(), checkedVar) and
   any(IRGuardCondition guard).ensuresEq(access, _, _, node.asInstruction().getBlock(), true)
 }

Original file line number	Diff line number	Diff line change
`@@ -171,7 +171,9 @@ private predicate hasUpperBoundsCheck(Variable var) {`
`171`	`171`	`)`
`172`	`172`	`}`
`173`	`173`
`174`		`-private predicate nodeIsBarrierEqualityCandidate(DataFlow::Node node, Operand access, Variable checkedVar) {`
	`174`	`+private predicate nodeIsBarrierEqualityCandidate(`
	`175`	`+ DataFlow::Node node, Operand access, Variable checkedVar`
	`176`	`+) {`
`175`	`177`	`readsVariable(node.asInstruction(), checkedVar) and`
`176`	`178`	`any(IRGuardCondition guard).ensuresEq(access, _, _, node.asInstruction().getBlock(), true)`
`177`	`179`	`}`