From 5451c394a2c03f57ceef726f3a30e5ec74b72cc5 Mon Sep 17 00:00:00 2001
From: Robert Marsh <rdmarsh@semmle.com>
Date: Thu, 17 Oct 2019 12:20:36 -0700
Subject: [PATCH] C++/C#: autoformat

---
 .../code/cpp/ir/implementation/aliased_ssa/Instruction.qll    | 4 +++-
 .../src/semmle/code/cpp/ir/implementation/raw/Instruction.qll | 4 +++-
 .../code/cpp/ir/implementation/unaliased_ssa/Instruction.qll  | 4 +++-
 .../semmle/code/csharp/ir/implementation/raw/Instruction.qll  | 4 +++-
 .../csharp/ir/implementation/unaliased_ssa/Instruction.qll    | 4 +++-
 5 files changed, 15 insertions(+), 5 deletions(-)

diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
index cdc4795ddf5..6d5e697150e 100644
--- a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
+++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
@@ -120,7 +120,9 @@ module InstructionSanity {
     )
   }
 
-  query predicate sideEffectWithoutPrimary(SideEffectInstruction instr, string message, IRFunction func, string funcText) {
+  query predicate sideEffectWithoutPrimary(
+    SideEffectInstruction instr, string message, IRFunction func, string funcText
+  ) {
     not exists(instr.getPrimaryInstruction()) and
     message = "Side effect instruction missing primary instruction in function $@" and
     func = instr.getEnclosingIRFunction() and
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
index cdc4795ddf5..6d5e697150e 100644
--- a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
+++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
@@ -120,7 +120,9 @@ module InstructionSanity {
     )
   }
 
-  query predicate sideEffectWithoutPrimary(SideEffectInstruction instr, string message, IRFunction func, string funcText) {
+  query predicate sideEffectWithoutPrimary(
+    SideEffectInstruction instr, string message, IRFunction func, string funcText
+  ) {
     not exists(instr.getPrimaryInstruction()) and
     message = "Side effect instruction missing primary instruction in function $@" and
     func = instr.getEnclosingIRFunction() and
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
index cdc4795ddf5..6d5e697150e 100644
--- a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
+++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
@@ -120,7 +120,9 @@ module InstructionSanity {
     )
   }
 
-  query predicate sideEffectWithoutPrimary(SideEffectInstruction instr, string message, IRFunction func, string funcText) {
+  query predicate sideEffectWithoutPrimary(
+    SideEffectInstruction instr, string message, IRFunction func, string funcText
+  ) {
     not exists(instr.getPrimaryInstruction()) and
     message = "Side effect instruction missing primary instruction in function $@" and
     func = instr.getEnclosingIRFunction() and
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll
index cdc4795ddf5..6d5e697150e 100644
--- a/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll
+++ b/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll
@@ -120,7 +120,9 @@ module InstructionSanity {
     )
   }
 
-  query predicate sideEffectWithoutPrimary(SideEffectInstruction instr, string message, IRFunction func, string funcText) {
+  query predicate sideEffectWithoutPrimary(
+    SideEffectInstruction instr, string message, IRFunction func, string funcText
+  ) {
     not exists(instr.getPrimaryInstruction()) and
     message = "Side effect instruction missing primary instruction in function $@" and
     func = instr.getEnclosingIRFunction() and
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/Instruction.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/Instruction.qll
index cdc4795ddf5..6d5e697150e 100644
--- a/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/Instruction.qll
+++ b/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/Instruction.qll
@@ -120,7 +120,9 @@ module InstructionSanity {
     )
   }
 
-  query predicate sideEffectWithoutPrimary(SideEffectInstruction instr, string message, IRFunction func, string funcText) {
+  query predicate sideEffectWithoutPrimary(
+    SideEffectInstruction instr, string message, IRFunction func, string funcText
+  ) {
     not exists(instr.getPrimaryInstruction()) and
     message = "Side effect instruction missing primary instruction in function $@" and
     func = instr.getEnclosingIRFunction() and