C++: Autoformat fixups

Author: jbj

cpp/ql/src/semmle/code/cpp/ir/IR.qll

@@ -1,25 +1,25 @@
 /**
  * Provides classes that describe the Intermediate Representation (IR) of the program.
- * 
+ *
  * The IR is a representation of the semantics of the program, with very little dependence on the
  * syntax that was used to write the program. For example, in C++, the statements `i += 1;`, `i++`,
  * and `++i` all have the same semantic effect, but appear in the AST as three different types of
  * `Expr` node. In the IR, all three statements are broken down into a sequence of fundamental
  * operations similar to:
- * 
+ *
  * ```
  * r1(int*) = VariableAddress[i]  // Compute the address of variable `i`
  * r2(int) = Load &:r1, m0  // Load the value of `i`
  * r3(int) = Constant[1]  // An integer constant with the value `1`
  * r4(int) = Add r2, r3  // Add `1` to the value of `i`
  * r5(int) = Store &r1, r4  // Store the new value back into the variable `i`
  * ```
- * 
+ *
  * This allows IR-based analysis to focus on the fundamental operations, rather than having to be
  * concerned with the various ways of expressing those operations in source code.
- * 
+ *
  * The key classes in the IR are:
- * 
+ *
  * - `IRFunction` - Contains the IR for an entire function definition, including all of that
  *   function's `Instruction`s, `IRBlock`s, and `IRVariables`.
  * - `Instruction` - A single operation in the IR. An instruction specifies the operation to be

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

@@ -126,7 +126,7 @@ class IRBlock extends IRBlockBase {
   final IRBlock getSuccessor(EdgeKind kind) { blockSuccessor(this, result, kind) }
 
   /**
-   * Gets the block to which control flows directly from this block along a back edge of kind 
+   * Gets the block to which control flows directly from this block along a back edge of kind
    * `kind`.
    */
   final IRBlock getBackEdgeSuccessor(EdgeKind kind) { backEdgeSuccessor(this, result, kind) }

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

@@ -126,7 +126,7 @@ class IRBlock extends IRBlockBase {
   final IRBlock getSuccessor(EdgeKind kind) { blockSuccessor(this, result, kind) }
 
   /**
-   * Gets the block to which control flows directly from this block along a back edge of kind 
+   * Gets the block to which control flows directly from this block along a back edge of kind
    * `kind`.
    */
   final IRBlock getBackEdgeSuccessor(EdgeKind kind) { backEdgeSuccessor(this, result, kind) }

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

@@ -126,7 +126,7 @@ class IRBlock extends IRBlockBase {
   final IRBlock getSuccessor(EdgeKind kind) { blockSuccessor(this, result, kind) }
 
   /**
-   * Gets the block to which control flows directly from this block along a back edge of kind 
+   * Gets the block to which control flows directly from this block along a back edge of kind
    * `kind`.
    */
   final IRBlock getBackEdgeSuccessor(EdgeKind kind) { backEdgeSuccessor(this, result, kind) }

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

@@ -126,7 +126,7 @@ class IRBlock extends IRBlockBase {
   final IRBlock getSuccessor(EdgeKind kind) { blockSuccessor(this, result, kind) }
 
   /**
-   * Gets the block to which control flows directly from this block along a back edge of kind 
+   * Gets the block to which control flows directly from this block along a back edge of kind
    * `kind`.
    */
   final IRBlock getBackEdgeSuccessor(EdgeKind kind) { backEdgeSuccessor(this, result, kind) }

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

@@ -126,7 +126,7 @@ class IRBlock extends IRBlockBase {
   final IRBlock getSuccessor(EdgeKind kind) { blockSuccessor(this, result, kind) }
 
   /**
-   * Gets the block to which control flows directly from this block along a back edge of kind 
+   * Gets the block to which control flows directly from this block along a back edge of kind
    * `kind`.
    */
   final IRBlock getBackEdgeSuccessor(EdgeKind kind) { backEdgeSuccessor(this, result, kind) }