From 148e87c61d4201802c7aa38e1b697d1bd99eafa7 Mon Sep 17 00:00:00 2001
From: Jonas Jensen <jbj@github.com>
Date: Thu, 30 Jan 2020 11:37:03 +0100
Subject: [PATCH] C++: Put AliasedSSA.qll in new qlformat style

---
 .../implementation/aliased_ssa/internal/AliasedSSA.qll | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
index 1843ad5815c..bcf3e5db19e 100644
--- a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
+++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
@@ -554,8 +554,9 @@ MemoryLocation getResultMemoryLocation(Instruction instr) {
       )
       or
       kind instanceof EntireAllocationMemoryAccess and
-      result = TEntireAllocationMemoryLocation(getAddressOperandAllocation(instr
-                .getResultAddressOperand()), isMayAccess)
+      result =
+        TEntireAllocationMemoryLocation(getAddressOperandAllocation(instr.getResultAddressOperand()),
+          isMayAccess)
       or
       kind instanceof EscapedMemoryAccess and
       result = TAllAliasedMemory(instr.getEnclosingIRFunction(), isMayAccess)
@@ -584,8 +585,9 @@ MemoryLocation getOperandMemoryLocation(MemoryOperand operand) {
       )
       or
       kind instanceof EntireAllocationMemoryAccess and
-      result = TEntireAllocationMemoryLocation(getAddressOperandAllocation(operand
-                .getAddressOperand()), isMayAccess)
+      result =
+        TEntireAllocationMemoryLocation(getAddressOperandAllocation(operand.getAddressOperand()),
+          isMayAccess)
       or
       kind instanceof EscapedMemoryAccess and
       result = TAllAliasedMemory(operand.getEnclosingIRFunction(), isMayAccess)