C++/C#: Fix formatting

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll

@@ -112,7 +112,8 @@ class IRAutomaticVariable extends IRVariable {
     exists(Language::Variable var |
       this = TIRUserVariable(var, _, func) and
       Language::isVariableAutomatic(var)
-    ) or
+    )
+    or
     this = TIRTempVariable(func, _, _, _)
   }
 }

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll

@@ -94,17 +94,18 @@ module InstructionSanity {
   /**
    * Holds if instruction `instr` has multiple operands with tag `tag`.
    */
-  query predicate duplicateOperand(Instruction instr, string message, IRFunction func,
-      string funcText) {
+  query predicate duplicateOperand(
+    Instruction instr, string message, IRFunction func, string funcText
+  ) {
     exists(OperandTag tag, int operandCount |
       operandCount = strictcount(NonPhiOperand operand |
-        operand = instr.getAnOperand() and
-        operand.getOperandTag() = tag
-      ) and
+          operand = instr.getAnOperand() and
+          operand.getOperandTag() = tag
+        ) and
       operandCount > 1 and
       not tag instanceof UnmodeledUseOperandTag and
       message = "Instruction has " + operandCount + " operands with tag '" + tag.toString() + "'" +
-        " in function '$@'." and
+          " in function '$@'." and
       func = instr.getEnclosingIRFunction() and
       funcText = Language::getIdentityString(func.getFunction())
     )

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll

@@ -867,8 +867,9 @@ private module CachedForDebugging {
 }
 
 module SSASanity {
-  query predicate multipleOperandMemoryLocations(OldIR::MemoryOperand operand, string message,
-      OldIR::IRFunction func, string funcText) {
+  query predicate multipleOperandMemoryLocations(
+    OldIR::MemoryOperand operand, string message, OldIR::IRFunction func, string funcText
+  ) {
     exists(int locationCount |
       locationCount = strictcount(Alias::getOperandMemoryLocation(operand)) and
       locationCount > 1 and
@@ -877,4 +878,4 @@ module SSASanity {
       message = "Operand has " + locationCount.toString() + " memory accesses in function '$@'."
     )
   }
-}
+}

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSASanity.ql

@@ -1,6 +1,6 @@
 /**
  * @name Aliased SSA Sanity Check
- * @description Performs sanity checks on the SSA construction. This query should have no results. 
+ * @description Performs sanity checks on the SSA construction. This query should have no results.
  * @kind table
  * @id cpp/aliased-ssa-sanity-check
  */

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRVariable.qll

@@ -112,7 +112,8 @@ class IRAutomaticVariable extends IRVariable {
     exists(Language::Variable var |
       this = TIRUserVariable(var, _, func) and
       Language::isVariableAutomatic(var)
-    ) or
+    )
+    or
     this = TIRTempVariable(func, _, _, _)
   }
 }

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll

@@ -94,17 +94,18 @@ module InstructionSanity {
   /**
    * Holds if instruction `instr` has multiple operands with tag `tag`.
    */
-  query predicate duplicateOperand(Instruction instr, string message, IRFunction func,
-      string funcText) {
+  query predicate duplicateOperand(
+    Instruction instr, string message, IRFunction func, string funcText
+  ) {
     exists(OperandTag tag, int operandCount |
       operandCount = strictcount(NonPhiOperand operand |
-        operand = instr.getAnOperand() and
-        operand.getOperandTag() = tag
-      ) and
+          operand = instr.getAnOperand() and
+          operand.getOperandTag() = tag
+        ) and
       operandCount > 1 and
       not tag instanceof UnmodeledUseOperandTag and
       message = "Instruction has " + operandCount + " operands with tag '" + tag.toString() + "'" +
-        " in function '$@'." and
+          " in function '$@'." and
       func = instr.getEnclosingIRFunction() and
       funcText = Language::getIdentityString(func.getFunction())
     )

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll

@@ -112,7 +112,8 @@ class IRAutomaticVariable extends IRVariable {
     exists(Language::Variable var |
       this = TIRUserVariable(var, _, func) and
       Language::isVariableAutomatic(var)
-    ) or
+    )
+    or
     this = TIRTempVariable(func, _, _, _)
   }
 }

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll

@@ -94,17 +94,18 @@ module InstructionSanity {
   /**
    * Holds if instruction `instr` has multiple operands with tag `tag`.
    */
-  query predicate duplicateOperand(Instruction instr, string message, IRFunction func,
-      string funcText) {
+  query predicate duplicateOperand(
+    Instruction instr, string message, IRFunction func, string funcText
+  ) {
     exists(OperandTag tag, int operandCount |
       operandCount = strictcount(NonPhiOperand operand |
-        operand = instr.getAnOperand() and
-        operand.getOperandTag() = tag
-      ) and
+          operand = instr.getAnOperand() and
+          operand.getOperandTag() = tag
+        ) and
       operandCount > 1 and
       not tag instanceof UnmodeledUseOperandTag and
       message = "Instruction has " + operandCount + " operands with tag '" + tag.toString() + "'" +
-        " in function '$@'." and
+          " in function '$@'." and
       func = instr.getEnclosingIRFunction() and
       funcText = Language::getIdentityString(func.getFunction())
     )

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll

@@ -867,8 +867,9 @@ private module CachedForDebugging {
 }
 
 module SSASanity {
-  query predicate multipleOperandMemoryLocations(OldIR::MemoryOperand operand, string message,
-      OldIR::IRFunction func, string funcText) {
+  query predicate multipleOperandMemoryLocations(
+    OldIR::MemoryOperand operand, string message, OldIR::IRFunction func, string funcText
+  ) {
     exists(int locationCount |
       locationCount = strictcount(Alias::getOperandMemoryLocation(operand)) and
       locationCount > 1 and
@@ -877,4 +878,4 @@ module SSASanity {
       message = "Operand has " + locationCount.toString() + " memory accesses in function '$@'."
     )
   }
-}
+}