C++: autoformat

jbj · jbj · commit 84811f66a250 · 2020-01-21T13:21:16.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
@@ -186,7 +186,7 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
 }
 
 private predicate modelTaintToParameter(Function f, int parameterIn, int parameterOut) {
-  exists( FunctionInput modelIn, FunctionOutput modelOut |
+  exists(FunctionInput modelIn, FunctionOutput modelOut |
     f.(TaintFunction).hasTaintFlow(modelIn, modelOut) and
     (modelIn.isParameter(parameterIn) or modelIn.isParameterDeref(parameterIn)) and
     modelOut.isParameterDeref(parameterOut)

Original file line number	Diff line number	Diff line change
`@@ -186,7 +186,7 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {`
`186`	`186`	`}`
`187`	`187`
`188`	`188`	`private predicate modelTaintToParameter(Function f, int parameterIn, int parameterOut) {`
`189`		`- exists( FunctionInput modelIn, FunctionOutput modelOut \|`
	`189`	`+ exists(FunctionInput modelIn, FunctionOutput modelOut \|`
`190`	`190`	`f.(TaintFunction).hasTaintFlow(modelIn, modelOut) and`
`191`	`191`	`(modelIn.isParameter(parameterIn) or modelIn.isParameterDeref(parameterIn)) and`
`192`	`192`	`modelOut.isParameterDeref(parameterOut)`