C++: Autoformat.

Author: geoffw0

cpp/ql/src/Security/CWE/CWE-190/ArithmeticUncontrolled.ql

@@ -74,10 +74,9 @@ private class RandS extends RandomFunction {
 
 predicate missingGuard(VariableAccess va, string effect) {
   exists(Operation op | op.getAnOperand() = va |
-    (
-      missingGuardAgainstUnderflow(op, va) and effect = "underflow" and
-      not op instanceof MulExpr // random numbers are usually non-negative, so multiplication doesn't underflow.
-    )
+    missingGuardAgainstUnderflow(op, va) and
+    effect = "underflow" and
+    not op instanceof MulExpr // random numbers are usually non-negative, so multiplication doesn't underflow.
     or
     missingGuardAgainstOverflow(op, va) and effect = "overflow"
   )