C++: New autoformat.

geoffw0 · geoffw0 · commit 2fddb09a30c2 · 2020-02-06T10:17:37.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
@@ -211,7 +211,8 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
   )
   or
   // Flow from argument to return value
-  i2 = any(CallInstruction call |
+  i2 =
+    any(CallInstruction call |
       exists(int indexIn |
         modelTaintToReturnValue(call.getStaticCallTarget(), indexIn) and
         i1 = getACallArgumentOrIndirection(call, indexIn) and
@@ -224,7 +225,8 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
   // together in a single virtual variable.
   // TODO: Will this work on the test for `TaintedPath.ql`, where the output arg
   // is a pointer addition expression?
-  i2 = any(WriteSideEffectInstruction outNode |
+  i2 =
+    any(WriteSideEffectInstruction outNode |
       exists(CallInstruction call, int indexIn, int indexOut |
         modelTaintToParameter(call.getStaticCallTarget(), indexIn, indexOut) and
         i1 = getACallArgumentOrIndirection(call, indexIn) and
