C++/C#: autoformat and sync files

Author: Robert Marsh

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

@@ -27,13 +27,13 @@ private class TStageOperand =
 class Operand extends TStageOperand {
   Operand() {
     // Ensure that the operand does not refer to instructions from earlier stages that are unreachable here
-    exists(Instruction use, Instruction def | this = registerOperand(use, _, def))
+    this = registerOperand(_, _, _)
     or
-    exists(Instruction use | this = nonSSAMemoryOperand(use, _))
+    this = nonSSAMemoryOperand(_, _)
     or
-    exists(Instruction use, Instruction def, IRBlock block | this = phiOperand(use, def, block, _))
+    this = phiOperand(_, _, _, _)
     or
-    exists(Instruction use | this = chiOperand(use, _))
+    this = chiOperand(_, _)
   }
 
   /** Gets a textual representation of this element. */

cpp/ql/src/semmle/code/cpp/ir/implementation/internal/TOperand.qll

@@ -132,6 +132,7 @@ module UnaliasedSSAOperands {
   class TChiOperand = Internal::TNoOperand;
 
   class TNonPhiMemoryOperand = TNonSSAMemoryOperand or TChiOperand;
+
   /**
    * Returns the Phi operand with the specified parameters.
    */
@@ -162,6 +163,7 @@ module AliasedSSAOperands {
   class TChiOperand = Internal::TAliasedChiOperand;
 
   class TNonPhiMemoryOperand = TNonSSAMemoryOperand or TChiOperand;
+
   /**
    * Returns the Phi operand with the specified parameters.
    */

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

@@ -27,13 +27,13 @@ private class TStageOperand =
 class Operand extends TStageOperand {
   Operand() {
     // Ensure that the operand does not refer to instructions from earlier stages that are unreachable here
-    exists(Instruction use, Instruction def | this = registerOperand(use, _, def))
+    this = registerOperand(_, _, _)
     or
-    exists(Instruction use | this = nonSSAMemoryOperand(use, _))
+    this = nonSSAMemoryOperand(_, _)
     or
-    exists(Instruction use, Instruction def, IRBlock block | this = phiOperand(use, def, block, _))
+    this = phiOperand(_, _, _, _)
     or
-    exists(Instruction use | this = chiOperand(use, _))
+    this = chiOperand(_, _)
   }
 
   /** Gets a textual representation of this element. */

csharp/ql/src/experimental/ir/implementation/internal/TOperand.qll

@@ -81,6 +81,7 @@ module RawOperands {
   class TChiOperand = Internal::TNoOperand;
 
   class TNonPhiMemoryOperand = TNonSSAMemoryOperand or TChiOperand;
+
   /**
    * Returns the Phi operand with the specified parameters.
    */

csharp/ql/src/experimental/ir/implementation/raw/Operand.qll

@@ -27,13 +27,13 @@ private class TStageOperand =
 class Operand extends TStageOperand {
   Operand() {
     // Ensure that the operand does not refer to instructions from earlier stages that are unreachable here
-    exists(Instruction use, Instruction def | this = registerOperand(use, _, def))
+    this = registerOperand(_, _, _)
     or
-    exists(Instruction use | this = nonSSAMemoryOperand(use, _))
+    this = nonSSAMemoryOperand(_, _)
     or
-    exists(Instruction use, Instruction def, IRBlock block | this = phiOperand(use, def, block, _))
+    this = phiOperand(_, _, _, _)
     or
-    exists(Instruction use | this = chiOperand(use, _))
+    this = chiOperand(_, _)
   }
 
   /** Gets a textual representation of this element. */

csharp/ql/src/experimental/ir/implementation/unaliased_ssa/Operand.qll

@@ -27,13 +27,13 @@ private class TStageOperand =
 class Operand extends TStageOperand {
   Operand() {
     // Ensure that the operand does not refer to instructions from earlier stages that are unreachable here
-    exists(Instruction use, Instruction def | this = registerOperand(use, _, def))
+    this = registerOperand(_, _, _)
     or
-    exists(Instruction use | this = nonSSAMemoryOperand(use, _))
+    this = nonSSAMemoryOperand(_, _)
     or
-    exists(Instruction use, Instruction def, IRBlock block | this = phiOperand(use, def, block, _))
+    this = phiOperand(_, _, _, _)
     or
-    exists(Instruction use | this = chiOperand(use, _))
+    this = chiOperand(_, _)
   }
 
   /** Gets a textual representation of this element. */